use display_graph_old for locale_deps, to show a bit more than nothing for cyclic graphs;
authorwenzelm
Thu May 07 22:12:05 2015 +0200 (2015-05-07)
changeset 6027383de10e27007
parent 60272 4f72b00d9952
child 60274 c2837a39da01
use display_graph_old for locale_deps, to show a bit more than nothing for cyclic graphs;
NEWS
src/Pure/Isar/isar_syn.ML
     1.1 --- a/NEWS	Thu May 07 21:30:52 2015 +0200
     1.2 +++ b/NEWS	Thu May 07 22:12:05 2015 +0200
     1.3 @@ -87,7 +87,7 @@
     1.4  Options / Text Area).
     1.5  
     1.6  * Improved graphview panel with optional output of PNG or PDF, for
     1.7 -display of 'thy_deps', 'locale_deps', 'class_deps' etc.
     1.8 +display of 'thy_deps', 'class_deps' etc.
     1.9  
    1.10  * The commands 'thy_deps' and 'class_deps' allow optional bounds to
    1.11  restrict the visualized hierarchy.
     2.1 --- a/src/Pure/Isar/isar_syn.ML	Thu May 07 21:30:52 2015 +0200
     2.2 +++ b/src/Pure/Isar/isar_syn.ML	Thu May 07 22:12:05 2015 +0200
     2.3 @@ -794,7 +794,7 @@
     2.4          Locale.pretty_locale_deps thy
     2.5          |> map (fn {name, parents, body} =>
     2.6            ((name, Graph_Display.content_node (Locale.extern thy name) [body]), parents))
     2.7 -        |> Graph_Display.display_graph))));
     2.8 +        |> Graph_Display.display_graph_old))));
     2.9  
    2.10  val _ =
    2.11    Outer_Syntax.command @{command_keyword print_term_bindings}