1.1 --- a/Admin/isatest/settings/at-poly-test	Sat Apr 11 11:28:31 2015 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,34 +0,0 @@
     1.4 -# -*- shell-script -*- :mode=shellscript:
     1.5 -
     1.6 -init_components /home/isabelle/contrib "$HOME/admin/components/main"
     1.7 -
     1.8 -  POLYML_HOME="/home/polyml/polyml-svn"
     1.9 -  ML_SYSTEM="polyml-5.5.2"
    1.10 -  ML_PLATFORM="x86-linux"
    1.11 -  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.12 -  ML_OPTIONS="-H 500 --gcthreads 4"
    1.13 -
    1.14 -ISABELLE_GHC=/usr/bin/ghc
    1.15 -
    1.16 -ISABELLE_HOME_USER=~/isabelle-at-poly-test
    1.17 -
    1.18 -# Where to look for isabelle tools (multiple dirs separated by ':').
    1.19 -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    1.20 -
    1.21 -# Location for temporary files (should be on a local file system).
    1.22 -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
    1.23 -
    1.24 -
    1.25 -# Heap input locations. ML system identifier is included in lookup.
    1.26 -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
    1.27 -
    1.28 -# Heap output location. ML system identifier is appended automatically later on.
    1.29 -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    1.30 -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.31 -
    1.32 -ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf threads=4 parallel_proofs=2"
    1.33 -
    1.34 -ISABELLE_GHC="/usr/bin/ghc"
    1.35 -ISABELLE_OCAML="/usr/bin/ocaml"
    1.36 -ISABELLE_SWIPL="/usr/bin/swipl"
    1.37 -