1.1 --- a/src/Pure/pure_setup.ML	Mon Nov 09 20:47:39 2009 +0100
     1.2 +++ b/src/Pure/pure_setup.ML	Mon Nov 09 21:30:54 2009 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  toplevel_pp ["Path", "T"] "Pretty.str o quote o Path.implode";
     1.5  toplevel_pp ["File", "ident"] "Pretty.str o quote o File.rep_ident";
     1.6  
     1.7 -if ml_system = "polyml-experimental"
     1.8 +if ml_system = "polyml-5.3.0"
     1.9  then use "ML-Systems/install_pp_polyml-5.3.ML"
    1.10  else if String.isPrefix "polyml" ml_system
    1.11  then use "ML-Systems/install_pp_polyml.ML"