Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
retain quick_and_dirty as-is -- no censorship;
authorwenzelm
Fri, 17 May 2013 20:30:04 +0200
changeset 52058 387dc978422b
parent 52057 69137d20ab0b
child 52059 2f970c7f722b
retain quick_and_dirty as-is -- no censorship;
src/Pure/System/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle