src/Pure/Tools/isabelle_process.ML

--- a/src/Pure/Tools/isabelle_process.ML	Tue Sep 23 23:07:48 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Wed Sep 24 18:08:42 2008 +0200
@@ -142,6 +142,7 @@
 fun init out =
  (change print_mode (update (op =) isabelle_processN);
   setup_channels out |> init_message;
+  OuterKeyword.report ();
   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
 
 end;