# HG changeset patch
# User wenzelm
# Date 1243774004 -7200
# Node ID b82e55f51dccd8551117ad0d84ac23e5007d14c4
# Parent  b5365a9db71800ba3c0afb002930fa960e3671a8
more precise version information;

diff -r b5365a9db718 -r b82e55f51dcc src/Pure/ML-Systems/install_pp_polyml-experimental.ML
--- a/src/Pure/ML-Systems/install_pp_polyml-experimental.ML	Sun May 31 14:20:54 2009 +0200
+++ b/src/Pure/ML-Systems/install_pp_polyml-experimental.ML	Sun May 31 14:46:44 2009 +0200
@@ -1,7 +1,6 @@
 (*  Title:      Pure/ML-Systems/install_pp_polyml-experimental.ML
 
-Extra toplevel pretty-printing for Poly/ML; experimental version for
-Poly/ML 5.3.
+Extra toplevel pretty-printing for Poly/ML 5.3 (SVN experimental).
 *)
 
 addPrettyPrinter (fn depth => fn pretty => fn x =>
diff -r b5365a9db718 -r b82e55f51dcc src/Pure/ML-Systems/multithreading_polyml.ML
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Sun May 31 14:20:54 2009 +0200
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Sun May 31 14:46:44 2009 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/ML-Systems/multithreading_polyml.ML
     Author:     Makarius
 
-Multithreading in Poly/ML 5.2 or later (cf. polyml/basis/Thread.sml).
+Multithreading in Poly/ML 5.2.1 or later (cf. polyml/basis/Thread.sml).
 *)
 
 signature MULTITHREADING_POLYML =