isabelle: File revisions

src/Pure/README

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

isabelle