isabelle: File revisions

src/Pure/Makefile

1996-03-20	paulson	Includes deriv.ML and display.ML as dependencies	file \| diff \| annotate
1996-03-15	paulson	Updated for new file search.ML	file \| diff \| annotate
1996-02-29	paulson	Includes theory.ML in list of dependencies	file \| diff \| annotate
1996-02-06	clasohm	made Isabelle compatible with SML/NJ 1.09	file \| diff \| annotate
1995-11-16	clasohm	added ../Provers/simplifier.ML	file \| diff \| annotate
1995-06-01	nipkow	Added dependence on Thy/thm_database.ML	file \| diff \| annotate
1995-04-06	lcp	Added Id: line	file \| diff \| annotate
1995-03-15	lcp	Now the "use" call has an exception handler, for prompt failure	file \| diff \| annotate
1994-08-19	wenzelm	replaced sextension.ML by syn_trans.ML;	file \| diff \| annotate
1994-06-09	wenzelm	added axclass.ML, Syntax/mixfix.ML, Thy/thy_syn.ML;	file \| diff \| annotate
1994-06-01	lcp	Improved error messages	file \| diff \| annotate
1994-06-01	nipkow	reflected changes in the structure of Thy	file \| diff \| annotate
1994-01-19	wenzelm	changed SYNTAX_FILES;	file \| diff \| annotate
1994-01-11	wenzelm	removed Syntax/parse_tree.ML;	file \| diff \| annotate
1993-10-15	wenzelm	added parser.ML, install_pp.ML	file \| diff \| annotate
1993-09-16	clasohm	Initial revision	file \| diff \| annotate

isabelle