src/Pure/General/graph_display.ML

--- a/src/Pure/General/graph_display.ML	Wed Sep 26 14:23:33 2012 +0200
+++ b/src/Pure/General/graph_display.ML	Wed Sep 26 14:38:23 2012 +0200
@@ -57,8 +57,9 @@
 
 fun display_graph graph =
   if print_mode_active graphview_reportN then
-    Output.report
-      (YXML.string_of (XML.Elem ((Isabelle_Markup.graphviewN, []), encode_graphview graph)))
+    (Output.report
+      (YXML.string_of (XML.Elem ((Isabelle_Markup.graphviewN, []), encode_graphview graph)));
+      writeln "(see graphview)")
   else
     let
       val browser =