IsabelleProcess: emit status "ready" after initialization and reports;
authorwenzelm
Tue Jun 02 23:30:45 2009 +0200 (2009-06-02 ago)
changeset 31384ce169bd37fc0
parent 31383 ac7abb2e5944
child 31385 bc1f918ccf68
IsabelleProcess: emit status "ready" after initialization and reports;
src/Pure/General/markup.ML
src/Pure/General/markup.scala
src/Pure/System/isabelle_process.ML
     1.1 --- a/src/Pure/General/markup.ML	Tue Jun 02 21:13:47 2009 +0200
     1.2 +++ b/src/Pure/General/markup.ML	Tue Jun 02 23:30:45 2009 +0200
     1.3 @@ -108,6 +108,7 @@
     1.4    val pidN: string
     1.5    val sessionN: string
     1.6    val promptN: string val prompt: T
     1.7 +  val readyN: string val ready: T
     1.8    val no_output: output * output
     1.9    val default_output: T -> output * output
    1.10    val add_mode: string -> (T -> output * output) -> unit
    1.11 @@ -307,6 +308,7 @@
    1.12  val sessionN = "session";
    1.13  
    1.14  val (promptN, prompt) = markup_elem "prompt";
    1.15 +val (readyN, ready) = markup_elem "ready";
    1.16  
    1.17  
    1.18  
     2.1 --- a/src/Pure/General/markup.scala	Tue Jun 02 21:13:47 2009 +0200
     2.2 +++ b/src/Pure/General/markup.scala	Tue Jun 02 23:30:45 2009 +0200
     2.3 @@ -163,6 +163,8 @@
     2.4    val SIGNAL = "signal"
     2.5    val EXIT = "exit"
     2.6  
     2.7 +  val READY = "ready"
     2.8 +
     2.9  
    2.10    /* content */
    2.11  
     3.1 --- a/src/Pure/System/isabelle_process.ML	Tue Jun 02 21:13:47 2009 +0200
     3.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Jun 02 23:30:45 2009 +0200
     3.3 @@ -133,6 +133,7 @@
     3.4   (change print_mode (update (op =) isabelle_processN);
     3.5    setup_channels out |> init_message;
     3.6    OuterKeyword.report ();
     3.7 +  Output.status (Markup.markup Markup.ready "");
     3.8    Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
     3.9  
    3.10  end;