# HG changeset patch
# User wenzelm
# Date 1222272522 -7200
# Node ID d0db291f7194512d210074cc7f503698b5fc683f
# Parent  383f512314b9c420f76fa341ce2b57926023c007
init: OuterKeyword.report;

diff -r 383f512314b9 -r d0db291f7194 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;