| 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
|
| Fri, 28 Jul 2000 16:08:41 +0200 |
wenzelm |
replaced "Sessions" by "Root";
|
file |
diff |
annotate
|
| Sun, 23 Jul 2000 11:59:21 +0200 |
wenzelm |
renamed "Directories" to "Sessions";
|
file |
diff |
annotate
|
| Tue, 01 Jun 1999 18:00:33 +0200 |
wenzelm |
broder size 3;
|
file |
diff |
annotate
|
| Mon, 17 May 1999 16:48:58 +0200 |
berghofe |
Added some code to enable browser to display remote documents.
|
file |
diff |
annotate
|
| Thu, 29 Apr 1999 22:42:38 +0200 |
berghofe |
Updated to JDK 1.1.x
|
file |
diff |
annotate
|
| Thu, 07 Aug 1997 23:46:36 +0200 |
berghofe |
Modified parse error message.
|
file |
diff |
annotate
|
| Wed, 06 Aug 1997 00:06:47 +0200 |
berghofe |
Source files for Isabelle theory graph browser.
|
file |
diff |
annotate
|