more precise version information;
authorwenzelm
Sun May 31 14:46:44 2009 +0200 (2009-05-31 ago)
changeset 31311b82e55f51dcc
parent 31310 b5365a9db718
child 31312 1c00e4ff3c99
more precise version information;
src/Pure/ML-Systems/install_pp_polyml-experimental.ML
src/Pure/ML-Systems/multithreading_polyml.ML
     1.1 --- a/src/Pure/ML-Systems/install_pp_polyml-experimental.ML	Sun May 31 14:20:54 2009 +0200
     1.2 +++ b/src/Pure/ML-Systems/install_pp_polyml-experimental.ML	Sun May 31 14:46:44 2009 +0200
     1.3 @@ -1,7 +1,6 @@
     1.4  (*  Title:      Pure/ML-Systems/install_pp_polyml-experimental.ML
     1.5  
     1.6 -Extra toplevel pretty-printing for Poly/ML; experimental version for
     1.7 -Poly/ML 5.3.
     1.8 +Extra toplevel pretty-printing for Poly/ML 5.3 (SVN experimental).
     1.9  *)
    1.10  
    1.11  addPrettyPrinter (fn depth => fn pretty => fn x =>
     2.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Sun May 31 14:20:54 2009 +0200
     2.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Sun May 31 14:46:44 2009 +0200
     2.3 @@ -1,7 +1,7 @@
     2.4  (*  Title:      Pure/ML-Systems/multithreading_polyml.ML
     2.5      Author:     Makarius
     2.6  
     2.7 -Multithreading in Poly/ML 5.2 or later (cf. polyml/basis/Thread.sml).
     2.8 +Multithreading in Poly/ML 5.2.1 or later (cf. polyml/basis/Thread.sml).
     2.9  *)
    2.10  
    2.11  signature MULTITHREADING_POLYML =