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.
actually negate "document" (cf. 7483aa690b4f);
authorwenzelm
Tue, 24 Jul 2012 12:54:34 +0200
changeset 48472 6ebb6cdd36a5
parent 48471 9d5ce7f1002d
child 48473 8f10b1f6c992
actually negate "document" (cf. 7483aa690b4f);
src/Pure/System/build.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/build.ML	Tue Jul 24 12:47:48 2012 +0200
+++ b/src/Pure/System/build.ML	Tue Jul 24 12:54:34 2012 +0200
@@ -24,7 +24,7 @@
         (Options.int options "parallel_proofs_threshold")
     |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
     |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
-    |> (case Options.string options "document" of "" => false | "false" => false | _ => true) ?
+    |> (case Options.string options "document" of "" => true | "false" => true | _ => false) ?
         Present.no_document
     |> Unsynchronized.setmp quick_and_dirty (Options.bool options "quick_and_dirty");
isabelle