README.html
1998-07-28 wenzelm 1998-07-28 tuned;
1998-05-29 wenzelm 1998-05-29 tuned;
1998-05-28 wenzelm 1998-05-28 version under control of Admin/makedist;
1998-01-19 wenzelm 1998-01-19 tuned;
1997-12-24 wenzelm 1997-12-24 tuned;
1997-12-17 wenzelm 1997-12-17 added MLWorks;
1997-12-15 wenzelm 1997-12-15 tuned;
1997-12-12 wenzelm 1997-12-12 prepared for Isabelle98;
1997-11-06 wenzelm 1997-11-06 Perl no longer optional;
1997-08-06 wenzelm 1997-08-06 removed smlnj-1.07;
1997-05-27 wenzelm 1997-05-27 added 1.09.28 note;
1997-05-23 wenzelm 1997-05-23 tuned;
1997-05-22 wenzelm 1997-05-22 added href to Isamode;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1997-05-21 wenzelm 1997-05-21 tuned;
1997-05-20 wenzelm 1997-05-20 fix spelling;
1997-05-20 wenzelm 1997-05-20 the new README;