src/Pure/IsaMakefile
changeset 14519 4ca3608fdf4f
parent 14346 5b9dd0de05d0
child 14650 0390abdd1e62
     1.1 --- a/src/Pure/IsaMakefile	Sun Apr 04 15:34:14 2004 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Mon Apr 05 13:23:10 2004 +0200
     1.3 @@ -41,8 +41,10 @@
     1.4    Isar/thy_header.ML Isar/toplevel.ML ML-Systems/mlworks.ML		  \
     1.5    ML-Systems/polyml-3.x.ML ML-Systems/polyml.ML				  \
     1.6    ML-Systems/smlnj-0.93.ML ML-Systems/smlnj-compiler.ML			  \
     1.7 -  ML-Systems/smlnj.ML Proof/ROOT.ML Proof/extraction.ML			  \
     1.8 -  Proof/proof_rewrite_rules.ML						  \
     1.9 +  ML-Systems/cpu-timer-basis.ML ML-Systems/cpu-timer-gc.ML                \
    1.10 +  ML-Systems/smlnj-pp-new.ML ML-Systems/smlnj-pp-old.ML                   \
    1.11 +  ML-Systems/smlnj.ML ML-Systems/smlnj-basis-compat.ML Proof/ROOT.ML      \
    1.12 +  Proof/extraction.ML Proof/proof_rewrite_rules.ML			  \
    1.13    Proof/proof_syntax.ML Proof/proofchecker.ML Proof/reconstruct.ML	  \
    1.14    ROOT.ML Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML		  \
    1.15    Syntax/mixfix.ML Syntax/parser.ML Syntax/printer.ML			  \