removed obsolete THIS_IS_ISABELLE_BUILD feature;
authorwenzelm
Thu Mar 06 19:21:20 2008 +0100 (2008-03-06)
changeset 26210cf904c5642e1
parent 26209 79c8d7277f33
child 26211 ffd91f7a78a2
removed obsolete THIS_IS_ISABELLE_BUILD feature;
Admin/isatest/settings/annomaly
Admin/isatest/settings/at-mac-poly-5.1-para
Admin/isatest/settings/at-poly
Admin/isatest/settings/at-poly-4.1.3
Admin/isatest/settings/at-poly-5.1-para-e
Admin/isatest/settings/at-poly-dev-e
Admin/isatest/settings/at-poly-e
Admin/isatest/settings/at-sml
Admin/isatest/settings/at-sml-dev-e
Admin/isatest/settings/at-sml-dev-p
Admin/isatest/settings/at64-poly
Admin/isatest/settings/at64-poly-5.1-para
Admin/isatest/settings/at64-sml-dev
Admin/isatest/settings/mac-poly
Admin/isatest/settings/mac-sml-dev
Admin/isatest/settings/sun-poly
Admin/isatest/settings/sun-sml
Admin/isatest/settings/sun-sml-dev
     1.1 --- a/Admin/isatest/settings/annomaly	Thu Mar 06 19:21:19 2008 +0100
     1.2 +++ b/Admin/isatest/settings/annomaly	Thu Mar 06 19:21:20 2008 +0100
     1.3 @@ -17,14 +17,8 @@
     1.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     1.5  
     1.6  # Heap output location. ML system identifier is appended automatically later on.
     1.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     1.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     1.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    1.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    1.11 -else
    1.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    1.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.14 -fi
    1.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    1.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.17  
    1.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    1.19  
     2.1 --- a/Admin/isatest/settings/at-mac-poly-5.1-para	Thu Mar 06 19:21:19 2008 +0100
     2.2 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Thu Mar 06 19:21:20 2008 +0100
     2.3 @@ -20,14 +20,8 @@
     2.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     2.5  
     2.6  # Heap output location. ML system identifier is appended automatically later on.
     2.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     2.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     2.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    2.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    2.11 -else
    2.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    2.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    2.14 -fi
    2.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    2.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    2.17  
    2.18  ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
    2.19  
     3.1 --- a/Admin/isatest/settings/at-poly	Thu Mar 06 19:21:19 2008 +0100
     3.2 +++ b/Admin/isatest/settings/at-poly	Thu Mar 06 19:21:20 2008 +0100
     3.3 @@ -19,14 +19,8 @@
     3.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     3.5  
     3.6  # Heap output location. ML system identifier is appended automatically later on.
     3.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     3.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     3.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    3.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    3.11 -else
    3.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    3.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    3.14 -fi
    3.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    3.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    3.17  
    3.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    3.19  
     4.1 --- a/Admin/isatest/settings/at-poly-4.1.3	Thu Mar 06 19:21:19 2008 +0100
     4.2 +++ b/Admin/isatest/settings/at-poly-4.1.3	Thu Mar 06 19:21:20 2008 +0100
     4.3 @@ -19,14 +19,8 @@
     4.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     4.5  
     4.6  # Heap output location. ML system identifier is appended automatically later on.
     4.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     4.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     4.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    4.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    4.11 -else
    4.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    4.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    4.14 -fi
    4.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    4.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    4.17  
    4.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    4.19  
     5.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Thu Mar 06 19:21:19 2008 +0100
     5.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Thu Mar 06 19:21:20 2008 +0100
     5.3 @@ -19,14 +19,8 @@
     5.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     5.5  
     5.6  # Heap output location. ML system identifier is appended automatically later on.
     5.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     5.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     5.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    5.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    5.11 -else
    5.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    5.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    5.14 -fi
    5.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    5.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    5.17  
    5.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
    5.19  
     6.1 --- a/Admin/isatest/settings/at-poly-dev-e	Thu Mar 06 19:21:19 2008 +0100
     6.2 +++ b/Admin/isatest/settings/at-poly-dev-e	Thu Mar 06 19:21:20 2008 +0100
     6.3 @@ -19,14 +19,8 @@
     6.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     6.5  
     6.6  # Heap output location. ML system identifier is appended automatically later on.
     6.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     6.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     6.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    6.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    6.11 -else
    6.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    6.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    6.14 -fi
    6.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    6.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    6.17  
    6.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    6.19  
     7.1 --- a/Admin/isatest/settings/at-poly-e	Thu Mar 06 19:21:19 2008 +0100
     7.2 +++ b/Admin/isatest/settings/at-poly-e	Thu Mar 06 19:21:20 2008 +0100
     7.3 @@ -19,14 +19,8 @@
     7.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     7.5  
     7.6  # Heap output location. ML system identifier is appended automatically later on.
     7.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     7.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     7.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    7.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    7.11 -else
    7.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    7.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    7.14 -fi
    7.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    7.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    7.17  
    7.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    7.19  
     8.1 --- a/Admin/isatest/settings/at-sml	Thu Mar 06 19:21:19 2008 +0100
     8.2 +++ b/Admin/isatest/settings/at-sml	Thu Mar 06 19:21:20 2008 +0100
     8.3 @@ -19,14 +19,8 @@
     8.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     8.5  
     8.6  # Heap output location. ML system identifier is appended automatically later on.
     8.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     8.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     8.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    8.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    8.11 -else
    8.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    8.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    8.14 -fi
    8.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    8.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    8.17  
    8.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    8.19  
     9.1 --- a/Admin/isatest/settings/at-sml-dev-e	Thu Mar 06 19:21:19 2008 +0100
     9.2 +++ b/Admin/isatest/settings/at-sml-dev-e	Thu Mar 06 19:21:20 2008 +0100
     9.3 @@ -19,14 +19,8 @@
     9.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
     9.5  
     9.6  # Heap output location. ML system identifier is appended automatically later on.
     9.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
     9.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
     9.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    9.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    9.11 -else
    9.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    9.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    9.14 -fi
    9.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    9.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    9.17  
    9.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    9.19  
    10.1 --- a/Admin/isatest/settings/at-sml-dev-p	Thu Mar 06 19:21:19 2008 +0100
    10.2 +++ b/Admin/isatest/settings/at-sml-dev-p	Thu Mar 06 19:21:20 2008 +0100
    10.3 @@ -19,14 +19,8 @@
    10.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    10.5  
    10.6  # Heap output location. ML system identifier is appended automatically later on.
    10.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    10.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    10.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   10.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   10.11 -else
   10.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   10.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   10.14 -fi
   10.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   10.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   10.17  
   10.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   10.19  
    11.1 --- a/Admin/isatest/settings/at64-poly	Thu Mar 06 19:21:19 2008 +0100
    11.2 +++ b/Admin/isatest/settings/at64-poly	Thu Mar 06 19:21:20 2008 +0100
    11.3 @@ -19,14 +19,8 @@
    11.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    11.5  
    11.6  # Heap output location. ML system identifier is appended automatically later on.
    11.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    11.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    11.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   11.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   11.11 -else
   11.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   11.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   11.14 -fi
   11.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   11.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   11.17  
   11.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   11.19  
    12.1 --- a/Admin/isatest/settings/at64-poly-5.1-para	Thu Mar 06 19:21:19 2008 +0100
    12.2 +++ b/Admin/isatest/settings/at64-poly-5.1-para	Thu Mar 06 19:21:20 2008 +0100
    12.3 @@ -19,14 +19,8 @@
    12.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    12.5  
    12.6  # Heap output location. ML system identifier is appended automatically later on.
    12.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    12.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    12.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   12.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   12.11 -else
   12.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   12.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   12.14 -fi
   12.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   12.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   12.17  
   12.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2"
   12.19  
    13.1 --- a/Admin/isatest/settings/at64-sml-dev	Thu Mar 06 19:21:19 2008 +0100
    13.2 +++ b/Admin/isatest/settings/at64-sml-dev	Thu Mar 06 19:21:20 2008 +0100
    13.3 @@ -19,14 +19,8 @@
    13.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    13.5  
    13.6  # Heap output location. ML system identifier is appended automatically later on.
    13.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    13.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    13.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   13.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   13.11 -else
   13.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   13.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   13.14 -fi
   13.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   13.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   13.17  
   13.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   13.19  
    14.1 --- a/Admin/isatest/settings/mac-poly	Thu Mar 06 19:21:19 2008 +0100
    14.2 +++ b/Admin/isatest/settings/mac-poly	Thu Mar 06 19:21:20 2008 +0100
    14.3 @@ -19,14 +19,8 @@
    14.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    14.5  
    14.6  # Heap output location. ML system identifier is appended automatically later on.
    14.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    14.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    14.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   14.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   14.11 -else
   14.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   14.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   14.14 -fi
   14.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   14.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   14.17  
   14.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
   14.19  
    15.1 --- a/Admin/isatest/settings/mac-sml-dev	Thu Mar 06 19:21:19 2008 +0100
    15.2 +++ b/Admin/isatest/settings/mac-sml-dev	Thu Mar 06 19:21:20 2008 +0100
    15.3 @@ -19,14 +19,8 @@
    15.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    15.5  
    15.6  # Heap output location. ML system identifier is appended automatically later on.
    15.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    15.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    15.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   15.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   15.11 -else
   15.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   15.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   15.14 -fi
   15.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   15.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   15.17  
   15.18  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   15.19  
    16.1 --- a/Admin/isatest/settings/sun-poly	Thu Mar 06 19:21:19 2008 +0100
    16.2 +++ b/Admin/isatest/settings/sun-poly	Thu Mar 06 19:21:20 2008 +0100
    16.3 @@ -19,14 +19,8 @@
    16.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    16.5  
    16.6  # Heap output location. ML system identifier is appended automatically later on.
    16.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    16.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    16.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   16.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   16.11 -else
   16.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   16.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   16.14 -fi
   16.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   16.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   16.17  
   16.18  #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
   16.19  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    17.1 --- a/Admin/isatest/settings/sun-sml	Thu Mar 06 19:21:19 2008 +0100
    17.2 +++ b/Admin/isatest/settings/sun-sml	Thu Mar 06 19:21:20 2008 +0100
    17.3 @@ -19,14 +19,8 @@
    17.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    17.5  
    17.6  # Heap output location. ML system identifier is appended automatically later on.
    17.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    17.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    17.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   17.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   17.11 -else
   17.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   17.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   17.14 -fi
   17.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   17.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   17.17  
   17.18  # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
   17.19  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    18.1 --- a/Admin/isatest/settings/sun-sml-dev	Thu Mar 06 19:21:19 2008 +0100
    18.2 +++ b/Admin/isatest/settings/sun-sml-dev	Thu Mar 06 19:21:20 2008 +0100
    18.3 @@ -19,14 +19,8 @@
    18.4  ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    18.5  
    18.6  # Heap output location. ML system identifier is appended automatically later on.
    18.7 -if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    18.8 -  #Isabelle build tells us to store heaps etc. within the distribution.
    18.9 -  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   18.10 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   18.11 -else
   18.12 -  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   18.13 -  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   18.14 -fi
   18.15 +ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   18.16 +ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   18.17  
   18.18  # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
   18.19  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"