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