changeset 60273 | 83de10e27007 |
parent 60189 | 0d3a62127057 |
child 60371 | 8a5cfdda1b98 |
--- a/src/Pure/Isar/isar_syn.ML Thu May 07 21:30:52 2015 +0200 +++ b/src/Pure/Isar/isar_syn.ML Thu May 07 22:12:05 2015 +0200 @@ -794,7 +794,7 @@ Locale.pretty_locale_deps thy |> map (fn {name, parents, body} => ((name, Graph_Display.content_node (Locale.extern thy name) [body]), parents)) - |> Graph_Display.display_graph)))); + |> Graph_Display.display_graph_old)))); val _ = Outer_Syntax.command @{command_keyword print_term_bindings}