changeset 46252 | 9aad9b87354a |
parent 46250 | 75dc4beb43b3 |
child 48629 | 2348fedfa076 |
--- a/Admin/isatest/settings/afp-poly Thu Jan 19 09:51:42 2012 +0100 +++ b/Admin/isatest/settings/afp-poly Thu Jan 19 16:16:13 2012 +0100 @@ -8,6 +8,7 @@ ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 2000 --gcthreads 4" +FLYSPECK_SKIP_PROOFS=true JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0" ISABELLE_HOME_USER=~/afp/isabelle-afp-poly