| Fri, 07 Mar 1997 15:30:23 +0100 | wenzelm | renamed SYSTEM to RAW_ML_SYSTEM; | file | diff | annotate |
| Thu, 06 Mar 1997 12:28:17 +0100 | wenzelm | even more robust and user friendly invocation (no longer requieres | file | diff | annotate |
| Mon, 03 Mar 1997 18:24:34 +0100 | wenzelm | fixed -m order; | file | diff | annotate |
| Fri, 28 Feb 1997 16:56:31 +0100 | wenzelm | more robust handling of invocation errors; | file | diff | annotate |
| 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 |