# HG changeset patch
# User wenzelm
# Date 1204827680 -3600
# Node ID cf904c5642e1b02792dd9c870092a8ab2c8b0df8
# Parent  79c8d7277f33287a8194eb44a3e533542b8464e9
removed obsolete THIS_IS_ISABELLE_BUILD feature;

diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/annomaly
--- a/Admin/isatest/settings/annomaly	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/annomaly	Thu Mar 06 19:21:20 2008 +0100
@@ -17,14 +17,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Thu Mar 06 19:21:20 2008 +0100
@@ -20,14 +20,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-poly
--- a/Admin/isatest/settings/at-poly	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-poly	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-poly-4.1.3
--- a/Admin/isatest/settings/at-poly-4.1.3	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-poly-4.1.3	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-poly-5.1-para-e
--- a/Admin/isatest/settings/at-poly-5.1-para-e	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-poly-5.1-para-e	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-poly-dev-e
--- a/Admin/isatest/settings/at-poly-dev-e	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-poly-dev-e	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-poly-e
--- a/Admin/isatest/settings/at-poly-e	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-poly-e	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-sml
--- a/Admin/isatest/settings/at-sml	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-sml	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-sml-dev-e
--- a/Admin/isatest/settings/at-sml-dev-e	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-sml-dev-e	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at-sml-dev-p
--- a/Admin/isatest/settings/at-sml-dev-p	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at-sml-dev-p	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at64-poly	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at64-poly-5.1-para
--- a/Admin/isatest/settings/at64-poly-5.1-para	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at64-poly-5.1-para	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/at64-sml-dev
--- a/Admin/isatest/settings/at64-sml-dev	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/at64-sml-dev	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/mac-poly
--- a/Admin/isatest/settings/mac-poly	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/mac-poly	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/mac-sml-dev
--- a/Admin/isatest/settings/mac-sml-dev	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/mac-sml-dev	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/sun-poly	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/sun-sml
--- a/Admin/isatest/settings/sun-sml	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/sun-sml	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
diff -r 79c8d7277f33 -r cf904c5642e1 Admin/isatest/settings/sun-sml-dev
--- a/Admin/isatest/settings/sun-sml-dev	Thu Mar 06 19:21:19 2008 +0100
+++ b/Admin/isatest/settings/sun-sml-dev	Thu Mar 06 19:21:20 2008 +0100
@@ -19,14 +19,8 @@
 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
 
 # Heap output location. ML system identifier is appended automatically later on.
-if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
-  #Isabelle build tells us to store heaps etc. within the distribution.
-  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-else
-  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
-  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-fi
+ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"