added ML-Systems/polyml-4.1.4-patch.ML, ML-Systems/polyml-4.2.0.ML;

--- a/src/Pure/IsaMakefile	Mon Nov 14 14:36:46 2005 +0100
+++ b/src/Pure/IsaMakefile	Mon Nov 14 14:37:15 2005 +0100
@@ -45,6 +45,7 @@
   Isar/thy_header.ML Isar/toplevel.ML ML-Systems/cpu-timer-basis.ML		\
   ML-Systems/cpu-timer-gc.ML ML-Systems/polyml-posix.ML				\
   ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML				\
+  ML-Systems/polyml-4.1.4-patch.ML ML-Systems/polyml-4.2.0.ML 			\
   ML-Systems/poplogml.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-ptreql.ML				\