README
2010-08-17 wenzelm discontinued support for Poly/ML 5.0 and 5.1 versions;
2010-06-09 wenzelm removed outdated/confusing INSTALL file;
2010-05-28 wenzelm some updates for release;
2010-05-12 wenzelm updated some version numbers;
2009-11-22 wenzelm misc tuning and updates for official release;
2009-08-11 wenzelm clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
2009-04-15 wenzelm misc tuning for Isabelle2009;
2009-04-02 wenzelm misc tuning for release;
2008-07-17 wenzelm tuned line breaks (NB: generated text is inserted here);
2008-06-05 haftmann adjusted location of cambridge website
2008-05-28 wenzelm tuned version numbers;
2007-11-20 wenzelm updated Proof General advertisement;
2007-11-12 wenzelm removed left-over text links from lynx conversion;
2007-10-27 haftmann ASCIIfied README
1996-11-27 paulson Updated instructions
1996-11-21 paulson Further comments on versions of SML/NJ
1996-11-18 paulson Updated and clearer(?) instructions
1996-10-21 paulson Mentions the possibility of pathnames in ISABELLECOMP;
1995-01-20 lcp README: Now documents to Tools directory
1994-12-21 lcp Moved description of tools to Tools/README
1994-09-13 lcp updated for Isabelle94
1994-07-12 lcp minor updates
1994-05-13 lcp make-all-poly, make-all-nj: restored to main directory as examples
1993-12-13 lcp added isabelle-users paragraph
1993-11-05 nipkow change of my address
1993-11-05 lcp Added documenation of change_simp.
1993-10-28 lcp deletion of obsolete/private files; update of README
1993-09-16 clasohm Initial revision
less more (0) tip