src/Pure/System/isabelle_process.ML
changeset 31384 ce169bd37fc0
parent 30173 eabece26b89b
child 31797 203d5e61e3bc
--- a/src/Pure/System/isabelle_process.ML	Tue Jun 02 21:13:47 2009 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Jun 02 23:30:45 2009 +0200
@@ -133,6 +133,7 @@
  (change print_mode (update (op =) isabelle_processN);
   setup_channels out |> init_message;
   OuterKeyword.report ();
+  Output.status (Markup.markup Markup.ready "");
   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
 
 end;