README.html
2005-09-21 wenzelm updated for Isabelle2005;
2005-06-09 haftmann a very little cleanup
2005-03-07 webertj HTML 4.01 Transitional conformity
2004-11-12 webertj added DOCTYPE and Content-Type declarations to make this a valid HTML file
2004-04-19 paulson fixed address
2004-04-19 paulson fixed address
2004-04-18 kleing updated Tobias' address
2004-04-17 kleing do not mention MLWorks and poly 3.x any more, they are untested
2003-12-16 kleing fixed PG link
2003-05-12 kleing smlnj link update, x-symbol/PG update
2002-05-13 wenzelm updated X-Symbol URL;
2002-03-04 wenzelm tuned;
2001-09-26 wenzelm updated;
2001-02-15 wenzelm tuned;
2001-02-05 wenzelm tuned;
2000-09-26 wenzelm www.proofgeneral.org;
2000-09-11 wenzelm tuned;
2000-07-23 wenzelm tuned;
2000-05-05 wenzelm updated;
2000-03-09 paulson updated discussion of compilers
1999-12-21 oheimb corrected, improved eMail addresses, user interface section
1999-10-28 wenzelm tuned;
1999-09-06 wenzelm tuned;
1999-04-22 wenzelm tuned;
1999-01-14 wenzelm tuned;
1999-01-11 wenzelm tuned, updated;
1998-10-21 wenzelm dropped support for SML/NJ 109.x;
1998-10-20 paulson updated the MLWorks description
1998-10-18 wenzelm updated, tuned;
1998-09-22 wenzelm tuned Isamode;
1998-08-28 wenzelm tuned;
1998-08-27 wenzelm www.in.tum.de;
1998-07-28 wenzelm tuned;
1998-05-29 wenzelm tuned;
1998-05-28 wenzelm version under control of Admin/makedist;
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