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