| Tue, 11 Dec 2012 10:35:42 +0100 |
wenzelm |
added speculative options for jEdit;
|
file |
diff |
annotate
|
| Wed, 07 Jul 2010 18:17:23 +0200 |
berghofe |
Boxes may now have different widths.
|
file |
diff |
annotate
|
| Sat, 14 Nov 2009 18:36:05 +0100 |
wenzelm |
eliminated obsolete CVS Ids;
|
file |
diff |
annotate
|
| Thu, 06 Oct 2005 10:13:34 +0200 |
berghofe |
Optimized getPreds and getSuccs.
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Wed, 07 May 2003 16:38:55 +0200 |
kleing |
eliminated dependencies on AWT for batch mode
|
file |
diff |
annotate
|
| Mon, 22 Oct 2001 14:51:39 +0200 |
berghofe |
Moved font settings from Vertex to GraphView.
|
file |
diff |
annotate
|
| Tue, 16 Oct 2001 16:47:54 +0200 |
berghofe |
Added support for batch mode layout (without X11 connection).
|
file |
diff |
annotate
|
| Thu, 29 Apr 1999 22:42:38 +0200 |
berghofe |
Updated to JDK 1.1.x
|
file |
diff |
annotate
|
| Wed, 06 Aug 1997 00:06:47 +0200 |
berghofe |
Source files for Isabelle theory graph browser.
|
file |
diff |
annotate
|