README.html
Wed, 21 Oct 1998 14:05:49 +0200 wenzelm dropped support for SML/NJ 109.x;
Tue, 20 Oct 1998 11:16:23 +0200 paulson updated the MLWorks description
Sun, 18 Oct 1998 16:49:56 +0200 wenzelm updated, tuned;
Tue, 22 Sep 1998 17:08:30 +0200 wenzelm tuned Isamode;
Fri, 28 Aug 1998 13:35:43 +0200 wenzelm tuned;
Thu, 27 Aug 1998 20:56:26 +0200 wenzelm www.in.tum.de;
Tue, 28 Jul 1998 16:59:15 +0200 wenzelm tuned;
Fri, 29 May 1998 13:50:21 +0200 wenzelm tuned;
Thu, 28 May 1998 12:23:11 +0200 wenzelm version under control of Admin/makedist;
Mon, 19 Jan 1998 16:26:11 +0100 wenzelm tuned;
Wed, 24 Dec 1997 12:38:40 +0100 wenzelm tuned;
Wed, 17 Dec 1997 17:51:39 +0100 wenzelm added MLWorks;
Mon, 15 Dec 1997 15:32:27 +0100 wenzelm tuned;
Fri, 12 Dec 1997 18:10:59 +0100 wenzelm prepared for Isabelle98;
Thu, 06 Nov 1997 16:44:35 +0100 wenzelm Perl no longer optional;
Wed, 06 Aug 1997 14:35:52 +0200 wenzelm removed smlnj-1.07;
Tue, 27 May 1997 14:38:49 +0200 wenzelm added 1.09.28 note;
Fri, 23 May 1997 18:55:28 +0200 wenzelm tuned;
Thu, 22 May 1997 17:20:55 +0200 wenzelm added href to Isamode;
Wed, 21 May 1997 17:13:00 +0200 wenzelm tuned all READMEs;
Wed, 21 May 1997 11:27:32 +0200 wenzelm tuned;
Tue, 20 May 1997 19:32:40 +0200 wenzelm fix spelling;
Tue, 20 May 1997 19:30:57 +0200 wenzelm the new README;
less more (0) tip