README.html
1999-09-06 ago tuned;
1999-04-22 ago tuned;
1999-01-14 ago tuned;
1999-01-11 ago tuned, updated;
1998-10-21 ago dropped support for SML/NJ 109.x;
1998-10-20 ago updated the MLWorks description
1998-10-18 ago updated, tuned;
1998-09-22 ago tuned Isamode;
1998-08-28 ago tuned;
1998-08-27 ago www.in.tum.de;
1998-07-28 ago tuned;
1998-05-29 ago tuned;
1998-05-28 ago version under control of Admin/makedist;
1998-01-19 ago tuned;
1997-12-24 ago tuned;
1997-12-17 ago added MLWorks;
1997-12-15 ago tuned;
1997-12-12 ago prepared for Isabelle98;
1997-11-06 ago Perl no longer optional;
1997-08-06 ago removed smlnj-1.07;
1997-05-27 ago added 1.09.28 note;
1997-05-23 ago tuned;
1997-05-22 ago added href to Isamode;
1997-05-21 ago tuned all READMEs;
1997-05-21 ago tuned;
1997-05-20 ago fix spelling;
1997-05-20 ago the new README;