IsoPlet: Applet for Graph Non Isomorphism
also called Proof Assistant for Graph Non Isomorphism

This applet is made by Jan Willem Knopper as a part of his Master Thesis. 

The source comes with an ant build.xml file. It was developed for Java 1.4, but
should also work under Java 1.5.

It can be compiled with :
	ant jar

It can be run with 
	cd bin
	./isoplet.sh

In the src directory the sourcetree is found. The prefix of the filepath
is nl/tue/win/riaca/applet/isoplet. In this directory the following
files are present:

- AllVertices.java		The type of a graph with vertices
- Debug.java			Functions concerning verbose printing
- EncodedFileFilter.java	To read an XML encoded AllVertices
- GXLFileFilter.java		To read an GXL Graph (with possible
  				GXL graphpad layout)
- GraphFilter.java		abstract class for Graph FileFilters
- GraphIsoApplet.java		Small class to create an applet instead
  				of a standalone Java program
- HelloWorldSplit4.java		Basic standalone starter 
- Isomapplettable.java		slightly modified from mapplet
  				AbstractMapplettable
- IsomorphismCheck.java		Class that can contain the result of a
				check for isomorphism.
- Linkobj.java			not used
- MutableTextTreeNode.java	TreeNode with HTML support
- MyDialog.java			abstract dialog class
- NautyFileFilter.java		File filter for dreadnaut compatible
				format
- PhraseBook.java		File containing functions to call GAP
- ProofTree.java		Used to display proofs
- ReadGraphDialog.java		Dialog to read graphs
- ReadSRGDialog.java		Dialog to input a Strongly Regular Graph
				(through GAP)
- ReadTextDialog.java		Dialog to read a graph from a textbox
- ReadURLDialog.java		Dialog to read a graph from an URL
- SimpleEdge.java		A simple edge
- SplitPane4.java		Basic graphic applet
- StillMapplettable.java	Basic graph display (modified from
				AbstractMapplettable from mapplet)
- Test.java			not used
- Vertex.java			A simple vertex
- VertexInvariant.java		Class that can contain the result of a
  				vertexinvariant