Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added ML-Systems/polyml-4.9.1.ML;
authorwenzelm
Wed, 27 Sep 2006 23:41:11 +0200
changeset 20746 f50ea9afc68d
parent 20745 c35b225a437e
child 20747 32ee2489fedf
added ML-Systems/polyml-4.9.1.ML;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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				\
isabelle