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.
tuned settings;
authorwenzelm
Fri, 19 Feb 2010 22:31:58 +0100
changeset 35244 5cb9cdc75a4a
parent 35243 024fef37a65d
child 35245 9271d1fc259a
tuned settings; activated kodkodi, i.e. HOL-Nitpick_Examples;
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/at64-poly	Fri Feb 19 22:29:30 2010 +0100
+++ b/Admin/isatest/settings/at64-poly	Fri Feb 19 22:31:58 2010 +0100
@@ -1,12 +1,12 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/polyml/polyml-5.2"
-  ML_SYSTEM="polyml-5.2"
+  POLYML_HOME="/home/polyml/polyml-5.3.0"
+  ML_SYSTEM="polyml-5.3.0"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 500"
+  ML_OPTIONS="-H 1000"
 
-ISABELLE_HOME_USER=~/isabelle-at64-poly-e
+ISABELLE_HOME_USER=~/isabelle-at64-poly
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
@@ -24,5 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
-unset KODKODI
-
+init_component /home/isabelle/contrib_devel/kodkodi
isabelle