| Fri, 29 May 1998 13:50:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 May 1998 12:23:11 +0200 | wenzelm | version under control of Admin/makedist; | file | diff | annotate |
| Mon, 19 Jan 1998 16:26:11 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 24 Dec 1997 12:38:40 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 17 Dec 1997 17:51:39 +0100 | wenzelm | added MLWorks; | file | diff | annotate |
| Mon, 15 Dec 1997 15:32:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 12 Dec 1997 18:10:59 +0100 | wenzelm | prepared for Isabelle98; | file | diff | annotate |
| Thu, 06 Nov 1997 16:44:35 +0100 | wenzelm | Perl no longer optional; | file | diff | annotate |
| Wed, 06 Aug 1997 14:35:52 +0200 | wenzelm | removed smlnj-1.07; | file | diff | annotate |
| Tue, 27 May 1997 14:38:49 +0200 | wenzelm | added 1.09.28 note; | file | diff | annotate |
| Fri, 23 May 1997 18:55:28 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 22 May 1997 17:20:55 +0200 | wenzelm | added href to Isamode; | file | diff | annotate |
| Wed, 21 May 1997 17:13:00 +0200 | wenzelm | tuned all READMEs; | file | diff | annotate |
| Wed, 21 May 1997 11:27:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 20 May 1997 19:32:40 +0200 | wenzelm | fix spelling; | file | diff | annotate |
| Tue, 20 May 1997 19:30:57 +0200 | wenzelm | the new README; | file | diff | annotate |