Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/graph_display.ML
changeset 50201 c26369c9eda6
parent 49570 2265456f6131
child 50450 358b6020f8b6 
--- a/src/Pure/General/graph_display.ML	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/General/graph_display.ML	Sun Nov 25 19:49:24 2012 +0100
@@ -58,7 +58,7 @@
 fun display_graph graph =
   if print_mode_active graphview_reportN then
     (Output.report
-      (YXML.string_of (XML.Elem ((Isabelle_Markup.graphviewN, []), encode_graphview graph)));
+      (YXML.string_of (XML.Elem ((Markup.graphviewN, []), encode_graphview graph)));
       writeln "(see graphview)")
   else
     let
isabelle