author | wenzelm |
Tue, 12 Jul 2011 20:11:11 +0200 | |
changeset 44658 | c3b6374278fa |
parent 44657 | ef45eaf2775f |
child 44659 | e84239a47f32 |
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";