src/Pure/IsaMakefile
changeset 24578 b6613902b656
parent 24574 e840872e9c7c
child 24592 dfea1edbf711
     1.1 --- a/src/Pure/IsaMakefile	Sat Sep 15 19:25:19 2007 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Sat Sep 15 19:25:32 2007 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4    ML-Systems/polyml-5.1.ML ML-Systems/polyml-interrupt-timeout.ML		\
     1.5    ML-Systems/polyml-old-basis.ML ML-Systems/polyml-posix.ML			\
     1.6    ML-Systems/polyml.ML ML-Systems/poplogml.ML ML-Systems/proper_int.ML		\
     1.7 -  ML-Systems/smlnj.ML ML/ml_context.ML ML/ml_syntax.ML				\
     1.8 +  ML-Systems/smlnj.ML ML/ml_context.ML ML/ml_lex.ML ML/ml_syntax.ML		\
     1.9    Proof/extraction.ML Proof/proof_rewrite_rules.ML Proof/proof_syntax.ML	\
    1.10    Proof/proofchecker.ML Proof/reconstruct.ML ProofGeneral/ROOT.ML		\
    1.11    ProofGeneral/parsing.ML ProofGeneral/pgip.ML					\