--- a/src/Pure/IsaMakefile Mon Jan 23 15:23:31 2006 +0100
+++ b/src/Pure/IsaMakefile Mon Jan 23 17:29:52 2006 +0100
@@ -45,9 +45,10 @@
Isar/session.ML Isar/skip_proof.ML Isar/specification.ML Isar/term_style.ML \
Isar/thy_header.ML Isar/toplevel.ML ML-Systems/cpu-timer-basis.ML \
ML-Systems/cpu-timer-gc.ML ML-Systems/polyml-posix.ML \
- ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML \
+ ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml.ML \
ML-Systems/polyml-4.1.4-patch.ML ML-Systems/polyml-4.2.0.ML \
ML-Systems/poplogml.ML ML-Systems/smlnj-basis-compat.ML \
+ ML-Systems/smlnj-interrupt-timeout.ML \
ML-Systems/smlnj-compiler.ML ML-Systems/smlnj-pp-new.ML \
ML-Systems/smlnj-pp-old.ML ML-Systems/smlnj-ptreql.ML \
ML-Systems/smlnj.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML \