| changeset 41718 | 05514b09bb4b |
| parent 41415 | 23533273220a |
| child 41944 | b97091ae583a |
--- a/src/Pure/pure_setup.ML Tue Feb 08 17:27:18 2011 +0100 +++ b/src/Pure/pure_setup.ML Tue Feb 08 17:36:21 2011 +0100 @@ -36,7 +36,7 @@ toplevel_pp ["Proof", "state"] "(fn _: Proof.state => Pretty.str \"<Proof.state>\")"; toplevel_pp ["Toplevel", "state"] "Toplevel.pretty_abstract"; -if ml_system = "polyml-5.2" orelse ml_system = "polyml-5.2.1" +if ml_system = "polyml-5.2.1" then use "ML/install_pp_polyml.ML" else if String.isPrefix "polyml" ml_system then use "ML/install_pp_polyml-5.3.ML"