--- a/src/Pure/IsaMakefile Tue Sep 18 17:53:37 2007 +0200
+++ b/src/Pure/IsaMakefile Tue Sep 18 18:05:34 2007 +0200
@@ -26,7 +26,7 @@
$(OUT)/Pure$(ML_SUFFIX): \
CPure.thy General/ROOT.ML General/alist.ML General/balanced_tree.ML \
General/basics.ML General/buffer.ML General/file.ML General/graph.ML \
- General/heap.ML General/history.ML General/markup.ML \
+ General/heap.ML General/history.ML General/integer.ML General/markup.ML \
General/name_space.ML General/ord_list.ML General/output.ML \
General/path.ML General/position.ML General/pretty.ML \
General/print_mode.ML General/scan.ML General/secure.ML General/seq.ML \
@@ -51,10 +51,10 @@
ML-Systems/polyml-5.1.ML ML-Systems/polyml-interrupt-timeout.ML \
ML-Systems/polyml-old-basis.ML ML-Systems/polyml-posix.ML \
ML-Systems/polyml.ML ML-Systems/poplogml.ML ML-Systems/proper_int.ML \
- ML-Systems/smlnj.ML ML/ml_context.ML ML/ml_lex.ML ML/ml_parse.ML ML/ml_syntax.ML \
- Proof/extraction.ML Proof/proof_rewrite_rules.ML Proof/proof_syntax.ML \
- Proof/proofchecker.ML Proof/reconstruct.ML ProofGeneral/ROOT.ML \
- ProofGeneral/parsing.ML ProofGeneral/pgip.ML \
+ ML-Systems/smlnj.ML ML/ml_context.ML ML/ml_lex.ML ML/ml_parse.ML \
+ ML/ml_syntax.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML \
+ Proof/proof_syntax.ML Proof/proofchecker.ML Proof/reconstruct.ML \
+ ProofGeneral/ROOT.ML ProofGeneral/parsing.ML ProofGeneral/pgip.ML \
ProofGeneral/pgip_input.ML ProofGeneral/pgip_isabelle.ML \
ProofGeneral/pgip_markup.ML ProofGeneral/pgip_output.ML \
ProofGeneral/pgip_parser.ML ProofGeneral/pgip_tests.ML \