--- a/src/Pure/pure_setup.ML Sat Jul 23 16:37:17 2011 +0200
+++ b/src/Pure/pure_setup.ML Sat Jul 23 17:22:28 2011 +0200
@@ -36,9 +36,9 @@
toplevel_pp ["Proof", "state"] "(fn _: Proof.state => Pretty.str \"<Proof.state>\")";
toplevel_pp ["Toplevel", "state"] "Toplevel.pretty_abstract";
-if ml_system = "polyml-5.2.1"
+if ML_System.name = "polyml-5.2.1"
then use "ML/install_pp_polyml.ML"
-else if String.isPrefix "polyml" ml_system
+else if ML_System.is_polyml
then use "ML/install_pp_polyml-5.3.ML"
else ();