src/Pure/README
2009-04-01 ago tuned comments;
2009-03-02 ago removed Ids;
2008-10-04 ago simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2005-05-31 ago tuned;
2005-05-31 ago tuned;
2005-05-31 ago tuned;
1999-01-14 ago tuned README;
1998-11-09 ago added Isar/;
1998-06-10 ago added General;
1998-05-18 ago added Syntax/source.ML;
1998-03-09 ago tuned;
1998-02-12 ago improved comments;
1997-05-21 ago tuned all READMEs;
1993-10-04 ago Pure/ROOT.ML
1993-09-16 ago Initial revision