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.
suppress potential dangerous option (see 1baa5d19ac44);
authorwenzelm
Fri, 25 Apr 2014 23:47:39 +0200
changeset 56734 6ca87a061740
parent 56733 f7700146678d
child 56735 9923e362789c
suppress potential dangerous option (see 1baa5d19ac44);
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Fri Apr 25 23:42:25 2014 +0200
+++ b/etc/options	Fri Apr 25 23:47:39 2014 +0200
@@ -67,7 +67,7 @@
 
 public option threads : int = 0
   -- "maximum number of worker threads for prover process (0 = hardware max.)"
-public option threads_trace : int = 0
+option threads_trace : int = 0
   -- "level of tracing information for multithreading"
 public option parallel_proofs : int = 2
   -- "level of parallel proof checking: 0, 1, 2"
isabelle