src/Pure/Isar/toplevel.ML
changeset 62663 bea354f6ff21
parent 62505 9e2a65912111
child 62819 d3ff367a16a0
equal deleted inserted replaced
62662:291cc01f56f5 62663:bea354f6ff21
   197 
   197 
   198 val string_of_state = pretty_state #> Pretty.chunks #> Pretty.string_of;
   198 val string_of_state = pretty_state #> Pretty.chunks #> Pretty.string_of;
   199 
   199 
   200 fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");
   200 fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");
   201 
   201 
       
   202 val _ = PolyML.addPrettyPrinter (fn _ => fn _ => Pretty.to_polyml o pretty_abstract);
       
   203 
   202 
   204 
   203 
   205 
   204 (** toplevel transitions **)
   206 (** toplevel transitions **)
   205 
   207 
   206 (* node transactions -- maintaining stable checkpoints *)
   208 (* node transactions -- maintaining stable checkpoints *)