--- a/Admin/isatest/settings/mac-poly-M8 Thu Nov 29 14:29:29 2012 +0100
+++ b/Admin/isatest/settings/mac-poly-M8 Thu Nov 29 16:52:13 2012 +0100
@@ -27,3 +27,5 @@
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
+ISABELLE_FULL_TEST=true
+