added ML/ml_lex.ML;
authorwenzelm
Sat Sep 15 19:25:32 2007 +0200 (2007-09-15)
changeset 24578b6613902b656
parent 24577 c6acb6d79757
child 24579 852fc50927b1
added ML/ml_lex.ML;
src/Pure/General/ROOT.ML
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/General/ROOT.ML	Sat Sep 15 19:25:19 2007 +0200
     1.2 +++ b/src/Pure/General/ROOT.ML	Sat Sep 15 19:25:32 2007 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4  use "scan.ML";
     1.5  use "source.ML";
     1.6  use "symbol.ML";
     1.7 +use "../ML/ml_lex.ML";
     1.8  use "secure.ML";
     1.9  
    1.10  use "stack.ML";
     2.1 --- a/src/Pure/IsaMakefile	Sat Sep 15 19:25:19 2007 +0200
     2.2 +++ b/src/Pure/IsaMakefile	Sat Sep 15 19:25:32 2007 +0200
     2.3 @@ -51,7 +51,7 @@
     2.4    ML-Systems/polyml-5.1.ML ML-Systems/polyml-interrupt-timeout.ML		\
     2.5    ML-Systems/polyml-old-basis.ML ML-Systems/polyml-posix.ML			\
     2.6    ML-Systems/polyml.ML ML-Systems/poplogml.ML ML-Systems/proper_int.ML		\
     2.7 -  ML-Systems/smlnj.ML ML/ml_context.ML ML/ml_syntax.ML				\
     2.8 +  ML-Systems/smlnj.ML ML/ml_context.ML ML/ml_lex.ML ML/ml_syntax.ML		\
     2.9    Proof/extraction.ML Proof/proof_rewrite_rules.ML Proof/proof_syntax.ML	\
    2.10    Proof/proofchecker.ML Proof/reconstruct.ML ProofGeneral/ROOT.ML		\
    2.11    ProofGeneral/parsing.ML ProofGeneral/pgip.ML					\