--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"