obsolete -- no such conditions in main Isabelle repository;

--- a/Admin/isatest/settings/mac-poly-M2-alternative	Sat Feb 13 12:17:25 2016 +0100
+++ b/Admin/isatest/settings/mac-poly-M2-alternative	Sat Feb 13 12:17:54 2016 +0100
@@ -26,6 +26,4 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf threads=2 parallel_proofs=2"
 
-ISABELLE_FULL_TEST=true
-
 ISABELLE_GHC=ghc

--- a/Admin/isatest/settings/mac-poly-M4	Sat Feb 13 12:17:25 2016 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Sat Feb 13 12:17:54 2016 +0100
@@ -24,8 +24,6 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=false document=pdf document_variants=document:outline=/proof,/ML threads=4 parallel_proofs=2"
 
-ISABELLE_FULL_TEST=true
-
 ISABELLE_GHC=ghc
 ISABELLE_MLTON=mlton
 ISABELLE_OCAML=ocaml

--- a/Admin/isatest/settings/mac-poly-M8	Sat Feb 13 12:17:25 2016 +0100
+++ b/Admin/isatest/settings/mac-poly-M8	Sat Feb 13 12:17:54 2016 +0100
@@ -24,8 +24,6 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=false document=pdf document_variants=document:outline=/proof,/ML threads=8 parallel_proofs=2"
 
-ISABELLE_FULL_TEST=true
-
 ISABELLE_GHC=ghc
 ISABELLE_MLTON=mlton
 ISABELLE_OCAML=ocaml