src/Pure/System/isabelle_process.ML
changeset 45057 86c9b73158a8
parent 45029 63144ea111f7
child 45158 db4bf4fb5492
     1.1 --- a/src/Pure/System/isabelle_process.ML	Fri Sep 23 14:12:09 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Fri Sep 23 14:13:15 2011 +0200
     1.3 @@ -179,8 +179,10 @@
     1.4      val _ = Context.set_thread_data NONE;
     1.5      val _ =
     1.6        Unsynchronized.change print_mode
     1.7 -        (fold (update op =)
     1.8 -          [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
     1.9 +        (fn mode =>
    1.10 +          (mode @ [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN])
    1.11 +          |> fold (update op =)
    1.12 +            [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
    1.13  
    1.14      val channel = rendezvous ();
    1.15      val _ = setup_channels channel;