README.html
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