ML pp for XML.tree;
authorwenzelm
Tue Jul 12 20:11:11 2011 +0200 (2011-07-12)
changeset 43784c3b6374278fa
parent 43783 ef45eaf2775f
child 43788 e84239a47f32
ML pp for XML.tree;
src/Pure/pure_setup.ML
     1.1 --- a/src/Pure/pure_setup.ML	Tue Jul 12 20:11:00 2011 +0200
     1.2 +++ b/src/Pure/pure_setup.ML	Tue Jul 12 20:11:11 2011 +0200
     1.3 @@ -18,6 +18,7 @@
     1.4  
     1.5  (* ML toplevel pretty printing *)
     1.6  
     1.7 +toplevel_pp ["XML", "tree"] "Pretty.str o XML.string_of";
     1.8  toplevel_pp ["Pretty", "T"] "(fn _: Pretty.T => Pretty.str \"<pretty>\")";
     1.9  toplevel_pp ["Task_Queue", "task"] "Pretty.str o Task_Queue.str_of_task";
    1.10  toplevel_pp ["Task_Queue", "group"] "Pretty.str o Task_Queue.str_of_group";