| Tue, 17 Dec 1996 12:52:33 +0100 | wenzelm | fixed ML_HOME; | file | diff | annotate |
| Mon, 16 Dec 1996 09:56:28 +0100 | wenzelm | minor tuning; | file | diff | annotate |
| Mon, 09 Dec 1996 16:42:24 +0100 | wenzelm | various fixes; | file | diff | annotate |
| Wed, 04 Dec 1996 17:02:19 +0100 | wenzelm | fixed commit emulation; | file | diff | annotate |
| Wed, 04 Dec 1996 13:17:50 +0100 | wenzelm | replaced cat by ucat; | file | diff | annotate |
| Mon, 02 Dec 1996 18:24:38 +0100 | wenzelm | run-smlnj: SML/NJ startup script (for 1.06 or later). | file | diff | annotate |