src/Pure/ML-Systems/install_pp_polyml-experimental.ML
changeset 31311 b82e55f51dcc
parent 30714 88bc86d7dec3
child 31318 133d1cfd6ae7
--- 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 =>