--- a/src/Pure/System/isabelle_process.ML Fri May 07 20:57:37 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML Fri May 07 22:00:23 2010 +0200
@@ -89,7 +89,7 @@
fun init out =
(Unsynchronized.change print_mode
- (fold (update (op =)) [isabelle_processN, OuterKeyword.keyword_status_reportN]);
+ (fold (update op =) [isabelle_processN, OuterKeyword.keyword_status_reportN, Pretty.symbolicN]);
setup_channels out |> init_message;
OuterKeyword.report ();
Output.status (Markup.markup Markup.ready "");