src/Pure/System/isabelle_process.ML
changeset 36950 75b8f26f2f07
parent 36735 42b7f881f5fc
child 37121 8e51fc35d59f
     1.1 --- a/src/Pure/System/isabelle_process.ML	Sat May 15 22:24:25 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Sat May 15 23:16:32 2010 +0200
     1.3 @@ -89,9 +89,9 @@
     1.4  
     1.5  fun init out =
     1.6   (Unsynchronized.change print_mode
     1.7 -    (fold (update op =) [isabelle_processN, OuterKeyword.keyword_status_reportN, Pretty.symbolicN]);
     1.8 +    (fold (update op =) [isabelle_processN, Keyword.keyword_status_reportN, Pretty.symbolicN]);
     1.9    setup_channels out |> init_message;
    1.10 -  OuterKeyword.report ();
    1.11 +  Keyword.report ();
    1.12    Output.status (Markup.markup Markup.ready "");
    1.13    Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
    1.14