| 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 |