src/Pure/ML/install_pp_polyml.ML
changeset 50910 54f06ba192ef
parent 47986 ca7104aebb74
child 52425 de8a85aad216
--- a/src/Pure/ML/install_pp_polyml.ML	Wed Jan 16 11:25:26 2013 +0100
+++ b/src/Pure/ML/install_pp_polyml.ML	Wed Jan 16 11:31:08 2013 +0100
@@ -1,7 +1,7 @@
 (*  Title:      Pure/ML/install_pp_polyml.ML
     Author:     Makarius
 
-Extra toplevel pretty-printing for Poly/ML 5.3.0 or later.
+Extra toplevel pretty-printing for Poly/ML.
 *)
 
 PolyML.addPrettyPrinter (fn depth => fn _ => fn str =>