#
4b000659 |
|
11-Dec-2012 |
wenzelm <none@none> |
added speculative options for jEdit;
|
#
8096421a |
|
14-Nov-2009 |
wenzelm <none@none> |
eliminated obsolete CVS Ids; tuned headers;
|
#
2d8d833a |
|
28-Oct-2005 |
webertj <none@none> |
unnecessary imports removed
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
9f9183d5 |
|
22-Oct-2001 |
berghofe <none@none> |
Moved font settings from Vertex to GraphView.
|
#
35880962 |
|
16-Oct-2001 |
berghofe <none@none> |
PS method now calculates layout using default font metrics.
|
#
e6339306 |
|
29-Apr-1999 |
berghofe <none@none> |
Updated to JDK 1.1.x
|
#
36df0b78 |
|
05-Aug-1997 |
berghofe <none@none> |
Source files for Isabelle theory graph browser. Initial revision.
|