# HG changeset patch
# User wenzelm
# Date 1159393271 -7200
# Node ID f50ea9afc68d1b783e95be67bca8ced5459e7789
# Parent  c35b225a437e49630fc81626eb9efeb4e3b2288d
added ML-Systems/polyml-4.9.1.ML;

diff -r c35b225a437e -r f50ea9afc68d src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Wed Sep 27 23:41:10 2006 +0200
+++ b/src/Pure/IsaMakefile	Wed Sep 27 23:41:11 2006 +0200
@@ -44,8 +44,8 @@
   Isar/term_style.ML Isar/thy_header.ML Isar/toplevel.ML			\
   ML-Systems/cpu-timer-basis.ML ML-Systems/cpu-timer-gc.ML			\
   ML-Systems/polyml-4.1.4-patch.ML ML-Systems/polyml-4.2.0.ML			\
-  ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-posix.ML		\
-  ML-Systems/polyml.ML ML-Systems/poplogml.ML					\
+  ML-Systems/polyml-4.9.1.ML ML-Systems/polyml-interrupt-timeout.ML		\
+  ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML	\
   ML-Systems/smlnj-basis-compat.ML ML-Systems/smlnj-compiler.ML			\
   ML-Systems/smlnj-interrupt-timeout.ML ML-Systems/smlnj-pp-new.ML		\
   ML-Systems/smlnj-pp-old.ML ML-Systems/smlnj-ptreql.ML				\