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.
less ambitious settings for cygwin-poly;
authorwenzelm
Mon, 19 Apr 2010 10:19:37 +0200
changeset 36200 4949ae210c38
parent 36199 4d220994f30b
child 36201 07d4f74abd12
less ambitious settings for cygwin-poly;
Admin/isatest/settings/cygwin-poly file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/cygwin-poly	Mon Apr 19 07:38:35 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly	Mon Apr 19 10:19:37 2010 +0200
@@ -22,6 +22,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-M 1 -i true -d pdf -v true -t true"
+ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
 init_component "$HOME/contrib_devel/kodkodi"
isabelle