# HG changeset patch
# User wenzelm
# Date 1326986173 -3600
# Node ID 9aad9b87354a3c008ba7c05f4041e89df0c87368
# Parent  8fbcbcf4380e76638311da76cdd9030e096af389
reduce AFP test by many hours;

diff -r 8fbcbcf4380e -r 9aad9b87354a Admin/isatest/settings/afp-poly
--- 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