changeset 47980 | c81801f881b3 |
parent 47979 | 59ec72d3d0b9 |
child 48638 | 22d65e375c01 |
--- a/src/Pure/pure_setup.ML Thu May 24 15:01:17 2012 +0200 +++ b/src/Pure/pure_setup.ML Thu May 24 15:33:45 2012 +0200 @@ -36,9 +36,7 @@ toplevel_pp ["Proof", "state"] "(fn _: Proof.state => Pretty.str \"<Proof.state>\")"; toplevel_pp ["Toplevel", "state"] "Toplevel.pretty_abstract"; -if ML_System.is_polyml -then use "ML/install_pp_polyml-5.3.ML" -else (); +if ML_System.is_polyml then use "ML/install_pp_polyml.ML" else (); (* ML toplevel use commands *)