enable show_markup by default (approx. double output size);
1.1 --- a/src/Pure/System/isabelle_process.ML Sat Sep 29 18:23:46 2012 +0200
1.2 +++ b/src/Pure/System/isabelle_process.ML Sat Sep 29 19:28:03 2012 +0200
1.3 @@ -193,6 +193,8 @@
1.4 val _ = OS.Process.sleep (seconds 0.5); (*yield to raw ML toplevel*)
1.5 val _ = Output.physical_stderr Symbol.STX;
1.6
1.7 + (* FIXME proper system options *)
1.8 + val _ = Printer.show_markup_default := true;
1.9 val _ = quick_and_dirty := false;
1.10 val _ = Goal.parallel_proofs := 4;
1.11 val _ =