added ML-Systems/polyml-posix.ML;

--- 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	\