src/Pure/Isar/toplevel.ML
changeset 62663 bea354f6ff21
parent 62505 9e2a65912111
child 62819 d3ff367a16a0
--- a/src/Pure/Isar/toplevel.ML	Thu Mar 17 16:56:44 2016 +0100
+++ b/src/Pure/Isar/toplevel.ML	Fri Mar 18 16:26:35 2016 +0100
@@ -199,6 +199,8 @@
 
 fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");
 
+val _ = PolyML.addPrettyPrinter (fn _ => fn _ => Pretty.to_polyml o pretty_abstract);
+
 
 
 (** toplevel transitions **)