equal
deleted
inserted
replaced
265 |
265 |
266 |
266 |
267 (* display dependencies *) |
267 (* display dependencies *) |
268 |
268 |
269 val locale_deps = |
269 val locale_deps = |
270 Toplevel.unknown_theory o |
|
271 Toplevel.keep (Toplevel.theory_of #> (fn thy => |
270 Toplevel.keep (Toplevel.theory_of #> (fn thy => |
272 Locale.pretty_locale_deps thy |
271 Locale.pretty_locale_deps thy |
273 |> map (fn {name, parents, body} => |
272 |> map (fn {name, parents, body} => |
274 ((name, Graph_Display.content_node (Locale.extern thy name) [body]), parents)) |
273 ((name, Graph_Display.content_node (Locale.extern thy name) [body]), parents)) |
275 |> Graph_Display.display_graph)); |
274 |> Graph_Display.display_graph)); |