README.html
2005-09-21 ago updated for Isabelle2005;
2005-06-09 ago a very little cleanup
2005-03-07 ago HTML 4.01 Transitional conformity
2004-11-12 ago added DOCTYPE and Content-Type declarations to make this a valid HTML file
2004-04-19 ago fixed address
2004-04-19 ago fixed address
2004-04-19 ago updated Tobias' address
2004-04-17 ago do not mention MLWorks and poly 3.x any more, they are untested
2003-12-16 ago fixed PG link
2003-05-12 ago smlnj link update, x-symbol/PG update
2002-05-13 ago updated X-Symbol URL;
2002-03-04 ago tuned;
2001-09-26 ago updated;
2001-02-16 ago tuned;
2001-02-05 ago tuned;
2000-09-26 ago www.proofgeneral.org;
2000-09-11 ago tuned;
2000-07-23 ago tuned;
2000-05-05 ago updated;
2000-03-09 ago updated discussion of compilers
1999-12-21 ago corrected, improved eMail addresses, user interface section
1999-10-28 ago tuned;
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;