1999-01-14 wenzelm 1999-01-14 tuned README;
1999-01-13 wenzelm 1999-01-13 files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
1998-05-18 wenzelm 1998-05-18 added Source module;
1998-03-09 wenzelm 1998-03-09 tuned;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1997-02-05 wenzelm 1997-02-05 tuned;
1994-01-19 wenzelm 1994-01-19 cosmetic changes;
1993-11-29 wenzelm 1993-11-29 improved comments;
1993-10-04 wenzelm 1993-10-04 lots of internal cleaning and tuning; removed {parse,print}_{pre,post}_proc; new lexer: now human readable due to scanner combinators; new parser installed, but still inactive (due to grammar ambiguities); added Syntax.test_read; typ_of_term: sorts now made distinct and sorted; mixfix: added forced line breaks (//); PROP now printed before subterm of type prop with non-const head;
1993-09-16 clasohm 1993-09-16 Initial revision