| Wed, 07 May 2003 17:46:04 +0200 | kleing | use different main class for batch mode | file | diff | annotate |
| Tue, 23 Oct 2001 19:12:58 +0200 | wenzelm | unset DISPLAY (again); | file | diff | annotate |
| Mon, 22 Oct 2001 11:01:30 +0200 | wenzelm | keep DISPLAY; | file | diff | annotate |
| Sat, 20 Oct 2001 20:14:56 +0200 | wenzelm | -o pdf: produce *both* eps and pdf; | file | diff | annotate |
| Tue, 16 Oct 2001 19:56:31 +0200 | berghofe | Tuned. | file | diff | annotate |
| Tue, 16 Oct 2001 17:25:44 +0200 | wenzelm | option -o FILE --output to FILE (ps, eps, pdf); | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Wed, 22 Nov 2000 21:41:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 01 Sep 2000 19:42:11 +0200 | wenzelm | fixed quoting; | file | diff | annotate |
| Fri, 01 Sep 2000 17:50:36 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 04 Jul 2000 01:10:53 +0200 | wenzelm | fixed usage; | file | diff | annotate |
| Fri, 30 Jun 2000 12:30:58 +0200 | wenzelm | fixed ISABELLE_BROWSER_INFO; | file | diff | annotate |
| Thu, 07 Oct 1999 11:39:47 +0200 | berghofe | New option -d for deleting file after use. | file | diff | annotate |
| Thu, 07 Aug 1997 23:45:24 +0200 | berghofe | Startup script for Isabelle theory browser. | file | diff | annotate |