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