1.1 --- a/src/Pure/ML-Systems/install_pp_polyml-5.3.ML	Mon Nov 09 20:47:39 2009 +0100
     1.2 +++ b/src/Pure/ML-Systems/install_pp_polyml-5.3.ML	Mon Nov 09 21:30:54 2009 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  (*  Title:      Pure/ML-Systems/install_pp_polyml-5.3.ML
     1.5  
     1.6 -Extra toplevel pretty-printing for Poly/ML 5.3.
     1.7 +Extra toplevel pretty-printing for Poly/ML 5.3.0.
     1.8  *)
     1.9  
    1.10  PolyML.addPrettyPrinter (fn depth => fn pretty => fn x =>