README.html
1998-01-19 wenzelm tuned;
1997-12-24 wenzelm tuned;
1997-12-17 wenzelm added MLWorks;
1997-12-15 wenzelm tuned;
1997-12-12 wenzelm prepared for Isabelle98;
1997-11-06 wenzelm Perl no longer optional;
1997-08-06 wenzelm removed smlnj-1.07;
1997-05-27 wenzelm added 1.09.28 note;
1997-05-23 wenzelm tuned;
1997-05-22 wenzelm added href to Isamode;
1997-05-21 wenzelm tuned all READMEs;
1997-05-21 wenzelm tuned;
1997-05-20 wenzelm fix spelling;
1997-05-20 wenzelm the new README;
less more (0) tip