# HG changeset patch
# User wenzelm
# Date 1266615118 -3600
# Node ID 5cb9cdc75a4aba3a63a783be95ade9bfbf948dbc
# Parent  024fef37a65d97b9a392a706105b2f24c331491b
tuned settings;
activated kodkodi, i.e. HOL-Nitpick_Examples;

diff -r 024fef37a65d -r 5cb9cdc75a4a Admin/isatest/settings/at64-poly
--- 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