| changeset 46122 | 1e9ec1a44dfc |
| parent 45666 | d83797ef0d2d |
| child 46665 | 919dfcdf6d8a |
--- a/src/Pure/Thy/thy_info.ML Thu Jan 05 14:15:37 2012 +0100 +++ b/src/Pure/Thy/thy_info.ML Thu Jan 05 14:34:18 2012 +0100 @@ -89,7 +89,7 @@ fun get_names () = Graph.topological_order (get_thys ()); fun status () = - List.app (Output.status o Markup.markup_only o Isabelle_Markup.loaded_theory) (get_names ()); + List.app (fn name => Output.raw_message (Isabelle_Markup.loaded_theory name) "") (get_names ()); (* access thy *)