--- a/src/Pure/System/isabelle_process.ML Wed Dec 31 20:42:45 2014 +0100
+++ b/src/Pure/System/isabelle_process.ML Wed Dec 31 20:55:11 2014 +0100
@@ -186,8 +186,7 @@
(* init *)
-val default_modes1 =
- [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN, Graph_Display.active_graphN];
+val default_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN];
val default_modes2 = [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN];
val init = uninterruptible (fn _ => fn rendezvous =>