| Tue, 11 Dec 2012 10:35:42 +0100 | wenzelm | added speculative options for jEdit; | file | diff | annotate |
| Sat, 14 Nov 2009 18:36:05 +0100 | wenzelm | eliminated obsolete CVS Ids; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 06 Dec 2001 17:16:16 +0100 | wenzelm | refrain from peeking at tags; | file | diff | annotate |
| Mon, 22 Oct 2001 14:55:16 +0200 | berghofe | Fixed problem with batch mode layout, which caused an AWT exception when | file | diff | annotate |
| Tue, 16 Oct 2001 19:54:53 +0200 | berghofe | Removed exit command from end of main method. | file | diff | annotate |
| Tue, 16 Oct 2001 16:47:54 +0200 | berghofe | Added support for batch mode layout (without X11 connection). | file | diff | annotate |