changeset 28342 | d0db291f7194 |
parent 28242 | f978c8e75118 |
child 28343 | 7b605b8b7196 |
--- 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;