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.
be a bit more ressource cautious with multi-threading (-M 20 instead of 99)
authorisatest
Tue, 14 Aug 2007 00:52:59 +0200
changeset 24254 5180e11e4e42
parent 24253 3d7f74fd9fd9
child 24255 d86dbde1000c
be a bit more ressource cautious with multi-threading (-M 20 instead of 99)
Admin/isatest/settings/at-poly-5.1-para file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/at-poly-5.1-para	Mon Aug 13 21:22:42 2007 +0200
+++ b/Admin/isatest/settings/at-poly-5.1-para	Tue Aug 14 00:52:59 2007 +0200
@@ -28,6 +28,6 @@
   ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 fi
 
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 99"
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
 
 HOL_USEDIR_OPTIONS="-p 2"
isabelle