src/Pure/IsaMakefile
changeset 24159 a02941b15d0a
parent 24140 0683a2fc4041
child 24166 7b28dc69bdbb
     1.1 --- a/src/Pure/IsaMakefile	Mon Aug 06 19:35:43 2007 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Mon Aug 06 19:58:59 2007 +0200
     1.3 @@ -41,7 +41,8 @@
     1.4    Isar/rule_insts.ML Isar/session.ML Isar/skip_proof.ML Isar/spec_parse.ML	\
     1.5    Isar/specification.ML Isar/theory_target.ML Isar/toplevel.ML			\
     1.6    ML-Systems/alice.ML ML-Systems/exn.ML ML-Systems/multithreading_dummy.ML	\
     1.7 -  ML-Systems/multithreading_polyml.ML ML-Systems/polyml-4.1.3.ML		\
     1.8 +  ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML 		\
     1.9 +  ML-Systems/polyml-4.1.3.ML		\
    1.10    ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML	\
    1.11    ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML		\
    1.12    ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML	\
    1.13 @@ -79,11 +80,11 @@
    1.14  
    1.15  $(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML 				\
    1.16    ML-Systems/multithreading_dummy.ML ML-Systems/multithreading_polyml.ML	\
    1.17 -  ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML 			\
    1.18 -  ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML				\
    1.19 +  ML-Systems/overloading_smlnj.ML ML-Systems/polyml-4.1.3.ML			\
    1.20 +  ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML	\
    1.21    ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML		\
    1.22    ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML	\
    1.23 -  ML-Systems/smlnj.ML
    1.24 +  ML-Systems/proper_int.ML ML-Systems/smlnj.ML
    1.25  	@./mk -r
    1.26  
    1.27