src/Pure/IsaMakefile
changeset 18760 97aaecb84afe
parent 18740 7eb6ad1f91c1
child 18819 67f9347ea21d
     1.1 --- a/src/Pure/IsaMakefile	Mon Jan 23 15:23:31 2006 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Mon Jan 23 17:29:52 2006 +0100
     1.3 @@ -45,9 +45,10 @@
     1.4    Isar/session.ML Isar/skip_proof.ML Isar/specification.ML Isar/term_style.ML	\
     1.5    Isar/thy_header.ML Isar/toplevel.ML ML-Systems/cpu-timer-basis.ML             \
     1.6    ML-Systems/cpu-timer-gc.ML ML-Systems/polyml-posix.ML                         \
     1.7 -  ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML                          \
     1.8 +  ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml.ML                   \
     1.9    ML-Systems/polyml-4.1.4-patch.ML ML-Systems/polyml-4.2.0.ML                   \
    1.10    ML-Systems/poplogml.ML ML-Systems/smlnj-basis-compat.ML                       \
    1.11 +  ML-Systems/smlnj-interrupt-timeout.ML                                         \
    1.12    ML-Systems/smlnj-compiler.ML ML-Systems/smlnj-pp-new.ML                       \
    1.13    ML-Systems/smlnj-pp-old.ML ML-Systems/smlnj-ptreql.ML                         \
    1.14    ML-Systems/smlnj.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML          \