src/Pure/Makefile
1994-08-19 wenzelm 1994-08-19 replaced sextension.ML by syn_trans.ML;
1994-06-09 wenzelm 1994-06-09 added axclass.ML, Syntax/mixfix.ML, Thy/thy_syn.ML; removed Syntax/earley0A.ML, Thy/scan.ML, Thy/parse.ML;
1994-06-01 lcp 1994-06-01 Improved error messages
1994-06-01 nipkow 1994-06-01 reflected changes in the structure of Thy
1994-01-19 wenzelm 1994-01-19 changed SYNTAX_FILES;
1994-01-11 wenzelm 1994-01-11 removed Syntax/parse_tree.ML;
1993-10-15 wenzelm 1993-10-15 added parser.ML, install_pp.ML
1993-09-16 clasohm 1993-09-16 Initial revision