src/Pure/IsaMakefile
1997-11-20 wenzelm 1997-11-20 removed data.ML (made part of sign.ML);
1997-11-12 wenzelm 1997-11-12 added Thy/file.ML, Thy/use.ML; removed Thy/symbol_input.ML;
1997-11-04 wenzelm 1997-11-04 added Thy/path.ML;
1997-10-24 wenzelm 1997-10-24 added pure_thy.ML;
1997-10-17 wenzelm 1997-10-17 fixed RAW target;
1997-10-15 wenzelm 1997-10-15 tuned;
1997-10-14 wenzelm 1997-10-14 added data.ML;
1997-10-06 wenzelm 1997-10-06 RAW target;
1997-10-01 wenzelm 1997-10-01 added name_space.ML;
1997-08-07 berghofe 1997-08-07 Removed references to simplifier.
1997-08-06 berghofe 1997-08-06 Added some new dependencies for files in subdirectory Thy.
1997-08-05 wenzelm 1997-08-05 removed ML-Systems/smlnj-1.07.ML;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-16 wenzelm 1997-04-16 added sorts.ML, type_infer.ML;
1997-03-07 wenzelm 1997-03-07 tuned comments;
1997-02-28 wenzelm 1997-02-28 added Syntax/token_trans.ML;
1996-12-18 wenzelm 1996-12-18 IsaMakefile for Pure Isabelle;