src/Pure/Makefile
1997-04-16 wenzelm 1997-04-16 added sorts.ML, type_infer.ML;
1997-02-28 wenzelm 1997-02-28 added Syntax/token_trans.ML;
1996-11-27 paulson 1996-11-27 Makefile improvements by Thomas Santen and Stephan Herrmann Should be more portable across different versions of make
1996-11-18 wenzelm 1996-11-18 added Syntax/symbol_font.ML;
1996-10-21 paulson 1996-10-21 ISABELLECOMP may now have a leading pathname
1996-10-15 paulson 1996-10-15 Removed extraneous spaces from all Makefiles
1996-09-25 paulson 1996-09-25 Calls discgarb -c to realize dramatic space savings!
1996-04-23 oheimb 1996-04-23 included (empty) test goal for symmetry reasons
1996-03-20 paulson 1996-03-20 Includes deriv.ML and display.ML as dependencies
1996-03-15 paulson 1996-03-15 Updated for new file search.ML
1996-02-29 paulson 1996-02-29 Includes theory.ML in list of dependencies
1996-02-06 clasohm 1996-02-06 made Isabelle compatible with SML/NJ 1.09
1995-11-16 clasohm 1995-11-16 added ../Provers/simplifier.ML
1995-06-01 nipkow 1995-06-01 Added dependence on Thy/thm_database.ML
1995-04-06 lcp 1995-04-06 Added Id: line
1995-03-15 lcp 1995-03-15 Now the "use" call has an exception handler, for prompt failure if errors are detected.
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