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