1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/isatest/settings/at-mac-poly-e	Mon Mar 05 22:25:00 2007 +0100
     1.3 @@ -0,0 +1,33 @@
     1.4 +# -*- shell-script -*-
     1.5 +
     1.6 +  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
     1.7 +  ML_SYSTEM="polyml-5.0"
     1.8 +  ML_PLATFORM="x86-darwin"
     1.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.10 +  ML_OPTIONS="-H 500"
    1.11 +
    1.12 +ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e
    1.13 +
    1.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    1.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    1.16 +
    1.17 +# Location for temporary files (should be on a local file system).
    1.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    1.19 +
    1.20 +
    1.21 +# Heap input locations. ML system identifier is included in lookup.
    1.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    1.23 +
    1.24 +# Heap output location. ML system identifier is appended automatically later on.
    1.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    1.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    1.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    1.29 +else
    1.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    1.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.32 +fi
    1.33 +
    1.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
    1.35 +
    1.36 +HOL_USEDIR_OPTIONS="-p 2"

     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/isatest/settings/at-poly	Mon Mar 05 22:25:00 2007 +0100
     2.3 @@ -0,0 +1,33 @@
     2.4 +# -*- shell-script -*-
     2.5 +
     2.6 +  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
     2.7 +  ML_SYSTEM="polyml-5.0"
     2.8 +  ML_PLATFORM="x86-linux"
     2.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.10 +  ML_OPTIONS="-H 500"
    2.11 +
    2.12 +ISABELLE_HOME_USER=~/isabelle-at-poly
    2.13 +
    2.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    2.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    2.16 +
    2.17 +# Location for temporary files (should be on a local file system).
    2.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    2.19 +
    2.20 +
    2.21 +# Heap input locations. ML system identifier is included in lookup.
    2.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    2.23 +
    2.24 +# Heap output location. ML system identifier is appended automatically later on.
    2.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    2.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    2.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    2.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    2.29 +else
    2.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    2.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    2.32 +fi
    2.33 +
    2.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    2.35 +
    2.36 +HOL_USEDIR_OPTIONS="-p 2"

     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/Admin/isatest/settings/at-poly-4.1.3	Mon Mar 05 22:25:00 2007 +0100
     3.3 @@ -0,0 +1,33 @@
     3.4 +# -*- shell-script -*-
     3.5 +
     3.6 +  POLYML_HOME="/usr/proj/polyml/polyml-4.1.3"
     3.7 +  ML_SYSTEM="polyml-4.1.3"
     3.8 +  ML_PLATFORM="x86-linux"
     3.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.10 +  ML_OPTIONS="-h 30000"
    3.11 +
    3.12 +ISABELLE_HOME_USER=~/isabelle-at-poly-4.1.3
    3.13 +
    3.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    3.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    3.16 +
    3.17 +# Location for temporary files (should be on a local file system).
    3.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    3.19 +
    3.20 +
    3.21 +# Heap input locations. ML system identifier is included in lookup.
    3.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    3.23 +
    3.24 +# Heap output location. ML system identifier is appended automatically later on.
    3.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    3.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    3.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    3.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    3.29 +else
    3.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    3.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    3.32 +fi
    3.33 +
    3.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    3.35 +
    3.36 +HOL_USEDIR_OPTIONS="-p 2"

     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/Admin/isatest/settings/at-poly-e	Mon Mar 05 22:25:00 2007 +0100
     4.3 @@ -0,0 +1,33 @@
     4.4 +# -*- shell-script -*-
     4.5 +
     4.6 +  POLYML_HOME="/usr/proj/polyml/polyml-4.2.0"
     4.7 +  ML_SYSTEM="polyml-4.2.0"
     4.8 +  ML_PLATFORM="x86-linux"
     4.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    4.10 +  ML_OPTIONS="-h 30000"
    4.11 +
    4.12 +ISABELLE_HOME_USER=~/isabelle-at-poly-e
    4.13 +
    4.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    4.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    4.16 +
    4.17 +# Location for temporary files (should be on a local file system).
    4.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    4.19 +
    4.20 +
    4.21 +# Heap input locations. ML system identifier is included in lookup.
    4.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    4.23 +
    4.24 +# Heap output location. ML system identifier is appended automatically later on.
    4.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    4.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    4.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    4.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    4.29 +else
    4.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    4.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    4.32 +fi
    4.33 +
    4.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    4.35 +
    4.36 +HOL_USEDIR_OPTIONS="-p 2"

     5.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     5.2 +++ b/Admin/isatest/settings/at-sml	Mon Mar 05 22:25:00 2007 +0100
     5.3 @@ -0,0 +1,33 @@
     5.4 +# -*- shell-script -*-
     5.5 +
     5.6 +# Standard ML of New Jersey 110 or later
     5.7 +ML_SYSTEM=smlnj-110.0.7
     5.8 +ML_HOME="/usr/proj/smlnj/110.0.7/bin"
     5.9 +ML_OPTIONS="@SMLdebug=/dev/null"
    5.10 +ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    5.11 +
    5.12 +ISABELLE_HOME_USER=~/isabelle-at-sml
    5.13 +
    5.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    5.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    5.16 +
    5.17 +# Location for temporary files (should be on a local file system).
    5.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    5.19 +
    5.20 +
    5.21 +# Heap input locations. ML system identifier is included in lookup.
    5.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    5.23 +
    5.24 +# Heap output location. ML system identifier is appended automatically later on.
    5.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    5.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    5.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    5.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    5.29 +else
    5.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    5.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    5.32 +fi
    5.33 +
    5.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    5.35 +
    5.36 +HOL_USEDIR_OPTIONS="-p 2"

     6.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     6.2 +++ b/Admin/isatest/settings/at-sml-dev	Mon Mar 05 22:25:00 2007 +0100
     6.3 @@ -0,0 +1,33 @@
     6.4 +# -*- shell-script -*-
     6.5 +
     6.6 +# Standard ML of New Jersey 110 or later
     6.7 +ML_SYSTEM=smlnj
     6.8 +ML_HOME="/usr/proj/smlnj/110.60/bin"
     6.9 +ML_OPTIONS="@SMLdebug=/dev/null"
    6.10 +ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    6.11 +
    6.12 +ISABELLE_HOME_USER="$HOME/isabelle-at-sml-dev" # /tmp/isatest/isabelle-at-sml-dev
    6.13 +
    6.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    6.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    6.16 +
    6.17 +# Location for temporary files (should be on a local file system).
    6.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    6.19 +
    6.20 +
    6.21 +# Heap input locations. ML system identifier is included in lookup.
    6.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    6.23 +
    6.24 +# Heap output location. ML system identifier is appended automatically later on.
    6.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    6.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    6.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    6.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    6.29 +else
    6.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    6.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    6.32 +fi
    6.33 +
    6.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    6.35 +
    6.36 +HOL_USEDIR_OPTIONS="-p 1"

     7.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     7.2 +++ b/Admin/isatest/settings/at64-poly-e	Mon Mar 05 22:25:00 2007 +0100
     7.3 @@ -0,0 +1,33 @@
     7.4 +# -*- shell-script -*-
     7.5 +
     7.6 +  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
     7.7 +  ML_SYSTEM="polyml-5.0"
     7.8 +  ML_PLATFORM="x86_64-linux"
     7.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    7.10 +  ML_OPTIONS="-H 500"
    7.11 +
    7.12 +ISABELLE_HOME_USER=~/isabelle-at64-poly-e
    7.13 +
    7.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    7.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    7.16 +
    7.17 +# Location for temporary files (should be on a local file system).
    7.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    7.19 +
    7.20 +
    7.21 +# Heap input locations. ML system identifier is included in lookup.
    7.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    7.23 +
    7.24 +# Heap output location. ML system identifier is appended automatically later on.
    7.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    7.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    7.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    7.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    7.29 +else
    7.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    7.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    7.32 +fi
    7.33 +
    7.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    7.35 +
    7.36 +HOL_USEDIR_OPTIONS="-p 2"

     8.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     8.2 +++ b/Admin/isatest/settings/at64-sml-dev	Mon Mar 05 22:25:00 2007 +0100
     8.3 @@ -0,0 +1,33 @@
     8.4 +# -*- shell-script -*-
     8.5 +
     8.6 +# Standard ML of New Jersey 110 or later
     8.7 +ML_SYSTEM=smlnj
     8.8 +ML_HOME="/usr/proj/smlnj/110.60/bin"
     8.9 +ML_OPTIONS="@SMLdebug=/dev/null"
    8.10 +ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    8.11 +
    8.12 +ISABELLE_HOME_USER=~/isabelle-at64-sml-dev
    8.13 +
    8.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    8.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    8.16 +
    8.17 +# Location for temporary files (should be on a local file system).
    8.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    8.19 +
    8.20 +
    8.21 +# Heap input locations. ML system identifier is included in lookup.
    8.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    8.23 +
    8.24 +# Heap output location. ML system identifier is appended automatically later on.
    8.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    8.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    8.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    8.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    8.29 +else
    8.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    8.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    8.32 +fi
    8.33 +
    8.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
    8.35 +
    8.36 +HOL_USEDIR_OPTIONS="-p 2"

     9.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     9.2 +++ b/Admin/isatest/settings/mac-poly	Mon Mar 05 22:25:00 2007 +0100
     9.3 @@ -0,0 +1,33 @@
     9.4 +# -*- shell-script -*-
     9.5 +
     9.6 +  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
     9.7 +  ML_SYSTEM="polyml-5.0"
     9.8 +  ML_PLATFORM="ppc-darwin"
     9.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    9.10 +  ML_OPTIONS="-H 500"
    9.11 +
    9.12 +ISABELLE_HOME_USER=~/isabelle-mac-poly
    9.13 +
    9.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
    9.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    9.16 +
    9.17 +# Location for temporary files (should be on a local file system).
    9.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    9.19 +
    9.20 +
    9.21 +# Heap input locations. ML system identifier is included in lookup.
    9.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    9.23 +
    9.24 +# Heap output location. ML system identifier is appended automatically later on.
    9.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    9.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
    9.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
    9.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
    9.29 +else
    9.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    9.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    9.32 +fi
    9.33 +
    9.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
    9.35 +
    9.36 +HOL_USEDIR_OPTIONS="-p 2"

    10.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
    10.2 +++ b/Admin/isatest/settings/mac-sml-dev	Mon Mar 05 22:25:00 2007 +0100
    10.3 @@ -0,0 +1,33 @@
    10.4 +# -*- shell-script -*-
    10.5 +
    10.6 +# Standard ML of New Jersey 110 or later
    10.7 +ML_SYSTEM=smlnj
    10.8 +ML_HOME="/home/proj/smlnj/110.60/bin"
    10.9 +ML_OPTIONS="@SMLdebug=/dev/null"
   10.10 +ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
   10.11 +
   10.12 +ISABELLE_HOME_USER="$HOME/isabelle-mac-sml-dev"
   10.13 +
   10.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
   10.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
   10.16 +
   10.17 +# Location for temporary files (should be on a local file system).
   10.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
   10.19 +
   10.20 +
   10.21 +# Heap input locations. ML system identifier is included in lookup.
   10.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
   10.23 +
   10.24 +# Heap output location. ML system identifier is appended automatically later on.
   10.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
   10.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
   10.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   10.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   10.29 +else
   10.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   10.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   10.32 +fi
   10.33 +
   10.34 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   10.35 +
   10.36 +HOL_USEDIR_OPTIONS="-p 2"

    11.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
    11.2 +++ b/Admin/isatest/settings/sun-poly	Mon Mar 05 22:25:00 2007 +0100
    11.3 @@ -0,0 +1,34 @@
    11.4 +# -*- shell-script -*-
    11.5 +
    11.6 +  POLYML_HOME="/usr/proj/polyml/polyml-5.0"
    11.7 +  ML_SYSTEM="polyml-5.0"
    11.8 +  ML_PLATFORM="sparc-solaris"
    11.9 +  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   11.10 +  ML_OPTIONS="-H 500"
   11.11 +
   11.12 +ISABELLE_HOME_USER=~/isabelle-sun-poly
   11.13 +
   11.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
   11.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
   11.16 +
   11.17 +# Location for temporary files (should be on a local file system).
   11.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
   11.19 +
   11.20 +
   11.21 +# Heap input locations. ML system identifier is included in lookup.
   11.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
   11.23 +
   11.24 +# Heap output location. ML system identifier is appended automatically later on.
   11.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
   11.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
   11.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   11.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   11.29 +else
   11.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   11.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   11.32 +fi
   11.33 +
   11.34 +#ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
   11.35 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   11.36 +
   11.37 +HOL_USEDIR_OPTIONS="-p 2" 

    12.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
    12.2 +++ b/Admin/isatest/settings/sun-sml	Mon Mar 05 22:25:00 2007 +0100
    12.3 @@ -0,0 +1,34 @@
    12.4 +# -*- shell-script -*-
    12.5 +
    12.6 +# Standard ML of New Jersey 110.0.7 (stable version)
    12.7 +ML_SYSTEM=smlnj-110.0.7
    12.8 +ML_HOME="/home/proj/smlnj/110.0.7/bin"
    12.9 +ML_OPTIONS="@SMLdebug=/dev/null"
   12.10 +ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
   12.11 +
   12.12 +ISABELLE_HOME_USER=~/isabelle-sun-sml
   12.13 +
   12.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
   12.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
   12.16 +
   12.17 +# Location for temporary files (should be on a local file system).
   12.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
   12.19 +
   12.20 +
   12.21 +# Heap input locations. ML system identifier is included in lookup.
   12.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
   12.23 +
   12.24 +# Heap output location. ML system identifier is appended automatically later on.
   12.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
   12.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
   12.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   12.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   12.29 +else
   12.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   12.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   12.32 +fi
   12.33 +
   12.34 +# ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
   12.35 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   12.36 +
   12.37 +HOL_USEDIR_OPTIONS="-p 2"

    13.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
    13.2 +++ b/Admin/isatest/settings/sun-sml-dev	Mon Mar 05 22:25:00 2007 +0100
    13.3 @@ -0,0 +1,34 @@
    13.4 +# -*- shell-script -*-
    13.5 +
    13.6 +# Standard ML of New Jersey 110 or later
    13.7 +ML_SYSTEM=smlnj-110
    13.8 +ML_HOME="/usr/proj/smlnj/110.60/bin"
    13.9 +ML_OPTIONS="@SMLdebug=/dev/null"
   13.10 +ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
   13.11 +
   13.12 +ISABELLE_HOME_USER=~/isabelle-sun-sml-dev
   13.13 +
   13.14 +# Where to look for isabelle tools (multiple dirs separated by ':').
   13.15 +ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
   13.16 +
   13.17 +# Location for temporary files (should be on a local file system).
   13.18 +ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
   13.19 +
   13.20 +
   13.21 +# Heap input locations. ML system identifier is included in lookup.
   13.22 +ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
   13.23 +
   13.24 +# Heap output location. ML system identifier is appended automatically later on.
   13.25 +if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
   13.26 +  #Isabelle build tells us to store heaps etc. within the distribution.
   13.27 +  ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
   13.28 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
   13.29 +else
   13.30 +  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
   13.31 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
   13.32 +fi
   13.33 +
   13.34 +# ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
   13.35 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
   13.36 +
   13.37 +HOL_USEDIR_OPTIONS="-p 2"