src/Pure/README
2014-06-30 wenzelm 2014-06-30 updated README;
2009-04-01 wenzelm 2009-04-01 tuned comments;
2009-03-02 wenzelm 2009-03-02 removed Ids;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2005-05-31 wenzelm 2005-05-31 tuned;
2005-05-31 wenzelm 2005-05-31 tuned;
2005-05-31 wenzelm 2005-05-31 tuned;
1999-01-14 wenzelm 1999-01-14 tuned README;
1998-11-09 wenzelm 1998-11-09 added Isar/;
1998-06-10 wenzelm 1998-06-10 added General;
1998-05-18 wenzelm 1998-05-18 added Syntax/source.ML;
1998-03-09 wenzelm 1998-03-09 tuned;
1998-02-12 wenzelm 1998-02-12 improved comments;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1993-10-04 wenzelm 1993-10-04 Pure/ROOT.ML cleaned comments; removed extraneous 'print_depth 1'; replaced Basic_Syntax by BasicSyntax added 'use "install_pp.ML"'; Pure/README fixed comments; Pure/POLY.ML Pure/NJ.ML make_pp: added fbrk; Pure/install_pp.ML replaced "Ast" by "Syntax"; Pure/sign.ML added 'quote' to some error msgs;
1993-09-16 clasohm 1993-09-16 Initial revision