added ML-Systems/polyml-5.1.ML, ML-Systems/polyml_old_compiler4.ML, ML-Systems/polyml_old_compiler5.ML;
authorwenzelm
Mon Mar 24 18:35:40 2008 +0100 (2008-03-24 ago)
changeset 263761aeabd85866a
parent 26375 234f10289d97
child 26377 54dc2f9c5be8
added ML-Systems/polyml-5.1.ML, ML-Systems/polyml_old_compiler4.ML, ML-Systems/polyml_old_compiler5.ML;
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/IsaMakefile	Mon Mar 24 18:35:39 2008 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Mon Mar 24 18:35:40 2008 +0100
     1.3 @@ -49,8 +49,10 @@
     1.4    ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
     1.5    ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
     1.6    ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
     1.7 -  ML-Systems/polyml_common.ML ML-Systems/polyml.ML			\
     1.8 -  ML-Systems/poplogml.ML ML-Systems/proper_int.ML ML-Systems/smlnj.ML	\
     1.9 +  ML-Systems/polyml-5.1.ML ML-Systems/polyml_common.ML			\
    1.10 +  ML-Systems/polyml.ML ML-Systems/polyml_old_compiler4.ML		\
    1.11 +  ML-Systems/polyml_old_compiler5.ML ML-Systems/poplogml.ML		\
    1.12 +  ML-Systems/proper_int.ML ML-Systems/smlnj.ML				\
    1.13    ML-Systems/system_shell.ML ML-Systems/time_limit.ML			\
    1.14    ML-Systems/universal.ML ML/ml_context.ML ML/ml_lex.ML ML/ml_parse.ML	\
    1.15    ML/ml_syntax.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML	\
    1.16 @@ -90,14 +92,17 @@
    1.17  
    1.18  RAW: $(OUT)/RAW
    1.19  
    1.20 -$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML ML-Systems/mosml.ML	\
    1.21 -  ML-Systems/multithreading.ML ML-Systems/multithreading_polyml.ML	\
    1.22 -  ML-Systems/overloading_smlnj.ML ML-Systems/polyml-4.1.3.ML		\
    1.23 -  ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-4.2.0.ML			\
    1.24 -  ML-Systems/polyml-5.0.ML ML-Systems/polyml_common.ML			\
    1.25 -  ML-Systems/polyml.ML ML-Systems/poplogml.ML ML-Systems/proper_int.ML	\
    1.26 -  ML-Systems/smlnj.ML ML-Systems/system_shell.ML			\
    1.27 -  ML-Systems/time_limit.ML ML-Systems/universal.ML
    1.28 +$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/exn.ML			\
    1.29 +  ML-Systems/multithreading.ML ML-Systems/mosml.ML			\
    1.30 +  ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
    1.31 +  ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
    1.32 +  ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
    1.33 +  ML-Systems/polyml-5.1.ML ML-Systems/polyml_common.ML			\
    1.34 +  ML-Systems/polyml.ML A ML-Systems/polyml_old_compiler4.ML		\
    1.35 +  ML-Systems/polyml_old_compiler5.ML ML-Systems/poplogml.ML		\
    1.36 +  ML-Systems/proper_int.ML ML-Systems/smlnj.ML				\
    1.37 +  ML-Systems/system_shell.ML ML-Systems/time_limit.ML			\
    1.38 +  ML-Systems/universal.ML
    1.39  	@./mk -r
    1.40  
    1.41