# HG changeset patch
# User wenzelm
# Date 1368815404 -7200
# Node ID 387dc978422baa3f9e966d2880cf988f978b1d00
# Parent  69137d20ab0b2b853d1b947f615911ec6d11055f
retain quick_and_dirty as-is -- no censorship;

diff -r 69137d20ab0b -r 387dc978422b src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Fri May 17 19:11:03 2013 +0200
+++ b/src/Pure/System/isabelle_process.ML	Fri May 17 20:30:04 2013 +0200
@@ -217,7 +217,6 @@
     val _ = Output.physical_stderr Symbol.STX;
 
     val _ = Printer.show_markup_default := true;
-    val _ = quick_and_dirty := false;
     val _ = Context.set_thread_data NONE;
     val _ =
       Unsynchronized.change print_mode