# HG changeset patch
# User wenzelm
# Date 1428612991 -7200
# Node ID 8f6cacc87f426018774c92dbcded935536e1a325
# Parent  d8db5172c23f6dfdfcf5a02751891be61aa2cfe2
obsolete;

diff -r d8db5172c23f -r 8f6cacc87f42 Admin/Release/build_library
--- a/Admin/Release/build_library	Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/Release/build_library	Thu Apr 09 22:56:31 2015 +0200
@@ -75,7 +75,6 @@
 cd *
 ISABELLE_NAME="$(basename "$PWD")"
 
-echo "Z3_NON_COMMERCIAL=yes" >> etc/settings
 echo "ISABELLE_FULL_TEST=true" >> etc/settings
 
 echo -n > src/Doc/ROOT
diff -r d8db5172c23f -r 8f6cacc87f42 Admin/isatest/settings/mac-poly-M2-alternative
--- a/Admin/isatest/settings/mac-poly-M2-alternative	Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M2-alternative	Thu Apr 09 22:56:31 2015 +0200
@@ -30,6 +30,3 @@
 ISABELLE_FULL_TEST=true
 
 ISABELLE_GHC=ghc
-
-Z3_NON_COMMERCIAL="yes"
-
diff -r d8db5172c23f -r 8f6cacc87f42 Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Thu Apr 09 22:56:31 2015 +0200
@@ -35,6 +35,3 @@
 ISABELLE_POLYML="$ML_HOME/poly"
 #ISABELLE_SCALA="$SCALA_HOME/bin"
 ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml"
-
-Z3_NON_COMMERCIAL="yes"
-
diff -r d8db5172c23f -r 8f6cacc87f42 Admin/isatest/settings/mac-poly-M8
--- a/Admin/isatest/settings/mac-poly-M8	Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M8	Thu Apr 09 22:56:31 2015 +0200
@@ -35,6 +35,3 @@
 ISABELLE_POLYML="$ML_HOME/poly"
 #ISABELLE_SCALA="$SCALA_HOME/bin"
 ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml"
-
-Z3_NON_COMMERCIAL="yes"
-
diff -r d8db5172c23f -r 8f6cacc87f42 Admin/isatest/settings/mac-poly-M8-quick_and_dirty
--- a/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Thu Apr 09 22:56:31 2015 +0200
@@ -27,6 +27,3 @@
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_BUILD_OPTIONS="threads=8 quick_and_dirty"
-
-Z3_NON_COMMERCIAL="yes"
-
diff -r d8db5172c23f -r 8f6cacc87f42 Admin/isatest/settings/mac-poly-M8-skip_proofs
--- a/Admin/isatest/settings/mac-poly-M8-skip_proofs	Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M8-skip_proofs	Thu Apr 09 22:56:31 2015 +0200
@@ -27,6 +27,3 @@
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_BUILD_OPTIONS="threads=8 skip_proofs"
-
-Z3_NON_COMMERCIAL="yes"
-
diff -r d8db5172c23f -r 8f6cacc87f42 Admin/mira.py
--- a/Admin/mira.py	Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/mira.py	Thu Apr 09 22:56:31 2015 +0200
@@ -24,7 +24,6 @@
 
     # patch settings
     extra_settings = '''
-Z3_NON_COMMERCIAL="yes"
 
 init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
 init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/optional"