# HG changeset patch
# User wenzelm
# Date 1455362274 -3600
# Node ID 8bbbe07cd0eec3b2a1b9c900612540e20f7a4c9e
# Parent  44bac8bebd9c482f5c4aabdf443a8f436053a8f1
obsolete -- no such conditions in main Isabelle repository;

diff -r 44bac8bebd9c -r 8bbbe07cd0ee Admin/isatest/settings/mac-poly-M2-alternative
--- 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
diff -r 44bac8bebd9c -r 8bbbe07cd0ee Admin/isatest/settings/mac-poly-M4
--- 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
diff -r 44bac8bebd9c -r 8bbbe07cd0ee Admin/isatest/settings/mac-poly-M8
--- 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