| Thu, 06 Feb 1997 18:31:27 +0100 | wenzelm | removed getplatform; | file | diff | annotate |
| Mon, 16 Dec 1996 09:53:30 +0100 | wenzelm | now fails if getsettings not found; | file | diff | annotate |
| Mon, 09 Dec 1996 16:38:07 +0100 | wenzelm | added -norc option; | file | diff | annotate |
| Wed, 04 Dec 1996 13:06:30 +0100 | wenzelm | improved 'not found' messages; | file | diff | annotate |
| Mon, 02 Dec 1996 18:13:28 +0100 | wenzelm | isabelle: Basic Isabelle startup script. | file | diff | annotate |