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.
use only one thread in "Manual_Nits";
authorblanchet
Wed, 21 Apr 2010 14:46:29 +0200
changeset 36268 65aabc2c89ae
parent 36267 26fb60d9d3f2
child 36269 fa30cbb455df
child 36281 dbbf4d5d584d
use only one thread in "Manual_Nits"; the second thread isn't helping much, and might very well be the cause of the Cygwin Isatest failure
doc-src/Nitpick/nitpick.tex file | annotate | diff | comparison | revisions
src/HOL/Nitpick_Examples/Manual_Nits.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/Nitpick/nitpick.tex	Wed Apr 21 14:02:34 2010 +0200
+++ b/doc-src/Nitpick/nitpick.tex	Wed Apr 21 14:46:29 2010 +0200
@@ -1506,7 +1506,7 @@
 section were produced with the following settings:
 
 \prew
-\textbf{nitpick\_params} [\textit{max\_potential}~= 0,\, \textit{max\_threads} = 2]
+\textbf{nitpick\_params} [\textit{max\_potential}~= 0]
 \postw
 
 \subsection{A Context-Free Grammar}
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 21 14:02:34 2010 +0200
+++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 21 14:46:29 2010 +0200
@@ -337,7 +337,7 @@
 
 section {* 4. Case Studies *}
 
-nitpick_params [max_potential = 0, max_threads = 2]
+nitpick_params [max_potential = 0]
 
 subsection {* 4.1. A Context-Free Grammar *}
isabelle