src/Pure/System/isabelle_process.ML
changeset 34206 c29264a16ad8
parent 34096 e438a5875c16
child 34214 99eefb83a35d
--- a/src/Pure/System/isabelle_process.ML	Tue Dec 29 16:20:39 2009 +0100
+++ b/src/Pure/System/isabelle_process.ML	Tue Dec 29 20:30:40 2009 +0100
@@ -95,7 +95,6 @@
  (Unsynchronized.change print_mode (update (op =) isabelle_processN);
   setup_channels out |> init_message;
   OuterKeyword.report ();
-  Isar_Document.init ();
   Output.status (Markup.markup Markup.ready "");
   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});