#
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;
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
999f5e5b |
|
06-Dec-2001 |
wenzelm <none@none> |
refrain from peeking at tags;
|
#
25b9672f |
|
22-Oct-2001 |
berghofe <none@none> |
Fixed problem with batch mode layout, which caused an AWT exception when no X11 connection was available.
|
#
6e67d234 |
|
16-Oct-2001 |
berghofe <none@none> |
Removed exit command from end of main method.
|
#
0075402c |
|
16-Oct-2001 |
berghofe <none@none> |
Added support for batch mode layout (without X11 connection).
|
#
1127f872 |
|
28-Jul-2000 |
wenzelm <none@none> |
replaced "Sessions" by "Root";
|
#
379cd400 |
|
23-Jul-2000 |
wenzelm <none@none> |
renamed "Directories" to "Sessions";
|
#
e32c4a9f |
|
01-Jun-1999 |
wenzelm <none@none> |
broder size 3;
|
#
4c1c7dfe |
|
17-May-1999 |
berghofe <none@none> |
Added some code to enable browser to display remote documents.
|
#
e6339306 |
|
29-Apr-1999 |
berghofe <none@none> |
Updated to JDK 1.1.x
|
#
b1aae147 |
|
07-Aug-1997 |
berghofe <none@none> |
Modified parse error message.
|
#
36df0b78 |
|
05-Aug-1997 |
berghofe <none@none> |
Source files for Isabelle theory graph browser. Initial revision.
|