--- a/src/Pure/System/isabelle_process.ML Tue Aug 07 15:19:08 2012 +0200
+++ b/src/Pure/System/isabelle_process.ML Tue Aug 07 16:34:15 2012 +0200
@@ -178,13 +178,11 @@
Unsynchronized.change print_mode
(fn mode =>
(mode @ [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN])
- |> fold (update op =)
- [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
+ |> fold (update op =) [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN]);
val channel = rendezvous ();
val _ = setup_channels channel;
- val _ = Keyword.status ();
val _ = Thy_Info.status ();
val _ = Output.protocol_message Isabelle_Markup.ready "";
in loop channel end));