README
12 months ago ago prefer HTTPS;
16 months ago ago clarified message;
2016-01-18 ago updated mirrors according to website;
2016-01-16 ago tuned URLs according to website;
2014-07-01 ago misc updates for release;
2013-10-03 ago tuned;
2013-09-29 ago updated for release;
2013-09-11 ago updated for release;
2012-12-16 ago updated README;
2012-04-27 ago tuned;
2012-04-27 ago some updates on classic README, reduce the impression that there is much to install manually;
2012-04-25 ago back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
2012-04-14 ago some updates for release;
2011-09-18 ago tuned;
2011-09-07 ago some updates for release;
2011-01-16 ago misc updates for release;
2011-01-12 ago updated to ProofGeneral-4.x;
2010-08-17 ago discontinued support for Poly/ML 5.0 and 5.1 versions;
2010-06-09 ago removed outdated/confusing INSTALL file;
2010-05-28 ago some updates for release;
2010-05-12 ago updated some version numbers;
2009-11-22 ago misc tuning and updates for official release;
2009-08-11 ago clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
2009-04-15 ago misc tuning for Isabelle2009;
2009-04-02 ago misc tuning for release;
2008-07-17 ago tuned line breaks (NB: generated text is inserted here);
2008-06-05 ago adjusted location of cambridge website
2008-05-28 ago tuned version numbers;
2007-11-20 ago updated Proof General advertisement;
2007-11-12 ago removed left-over text links from lynx conversion;
2007-10-27 ago ASCIIfied README
1996-11-27 ago Updated instructions
1996-11-21 ago Further comments on versions of SML/NJ
1996-11-18 ago Updated and clearer(?) instructions
1996-10-21 ago Mentions the possibility of pathnames in ISABELLECOMP;
1995-01-20 ago README: Now documents to Tools directory
1994-12-21 ago Moved description of tools to Tools/README
1994-09-13 ago updated for Isabelle94
1994-07-12 ago minor updates
1994-05-13 ago make-all-poly, make-all-nj: restored to main directory as examples
1993-12-13 ago added isabelle-users paragraph
1993-11-05 ago change of my address
1993-11-05 ago Added documenation of change_simp.
1993-10-28 ago deletion of obsolete/private files; update of README
1993-09-16 ago Initial revision