added ML-Systems/polyml-posix.ML;
authorwenzelm
Sat Jun 11 23:24:33 2005 +0200 (2005-06-11)
changeset 163779da1cf997e79
parent 16376 65e2df6d8e10
child 16378 8af448f67cef
added ML-Systems/polyml-posix.ML;
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/IsaMakefile	Sat Jun 11 23:19:36 2005 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Sat Jun 11 23:24:33 2005 +0200
     1.3 @@ -45,6 +45,7 @@
     1.4    Isar/toplevel.ML		                                        \
     1.5    ML-Systems/cpu-timer-basis.ML ML-Systems/cpu-timer-gc.ML		\
     1.6    ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML			\
     1.7 +  ML-Systems/polyml-posix.ML 						\
     1.8    ML-Systems/smlnj-basis-compat.ML ML-Systems/smlnj-compiler.ML		\
     1.9    ML-Systems/smlnj-pp-new.ML ML-Systems/smlnj-pp-old.ML			\
    1.10    ML-Systems/smlnj.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML	\