src/Pure/System/isabelle_process.ML
changeset 34206 c29264a16ad8
parent 34096 e438a5875c16
child 34214 99eefb83a35d
equal deleted inserted replaced
34205:f69cd974bc4e 34206:c29264a16ad8
    93 
    93 
    94 fun init out =
    94 fun init out =
    95  (Unsynchronized.change print_mode (update (op =) isabelle_processN);
    95  (Unsynchronized.change print_mode (update (op =) isabelle_processN);
    96   setup_channels out |> init_message;
    96   setup_channels out |> init_message;
    97   OuterKeyword.report ();
    97   OuterKeyword.report ();
    98   Isar_Document.init ();
       
    99   Output.status (Markup.markup Markup.ready "");
    98   Output.status (Markup.markup Markup.ready "");
   100   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
    99   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
   101 
   100 
   102 end;
   101 end;