# HG changeset patch
# User wenzelm
# Date 1118525073 -7200
# Node ID 9da1cf997e79a1f4ef2cb8d2459f0178571fb66f
# Parent  65e2df6d8e102f70529c612280c46189777aefac
added ML-Systems/polyml-posix.ML;

diff -r 65e2df6d8e10 -r 9da1cf997e79 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sat Jun 11 23:19:36 2005 +0200
+++ b/src/Pure/IsaMakefile	Sat Jun 11 23:24:33 2005 +0200
@@ -45,6 +45,7 @@
   Isar/toplevel.ML		                                        \
   ML-Systems/cpu-timer-basis.ML ML-Systems/cpu-timer-gc.ML		\
   ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML			\
+  ML-Systems/polyml-posix.ML 						\
   ML-Systems/smlnj-basis-compat.ML ML-Systems/smlnj-compiler.ML		\
   ML-Systems/smlnj-pp-new.ML ML-Systems/smlnj-pp-old.ML			\
   ML-Systems/smlnj.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML	\