# HG changeset patch
# User wenzelm
# Date 1131975435 -3600
# Node ID 1a6161e92b4959056cef004f5e84b22ca3f586dd
# Parent  fd3afbf2a883e42cecbf0b06b8c1fa300633a579
added ML-Systems/polyml-4.1.4-patch.ML, ML-Systems/polyml-4.2.0.ML;

diff -r fd3afbf2a883 -r 1a6161e92b49 src/Pure/IsaMakefile
--- 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				\