added speculative options for jEdit;
Boxes may now have different widths.
eliminated obsolete CVS Ids; tuned headers;
Merged in license change from Isabelle2004
Moved font settings from Vertex to GraphView.
Updated to JDK 1.1.x
Source files for Isabelle theory graph browser. Initial revision.