Admin/isatest/settings/at-mac-poly-5.1-para
changeset 29331 dfaf9d086868
parent 29094 2a527750cf90
child 29438 4848cb75d5ea
equal deleted inserted replaced
29330:dc2663942ccc 29331:dfaf9d086868
     2 
     2 
     3   POLYML_HOME="/home/polyml/polyml-5.2.1"
     3   POLYML_HOME="/home/polyml/polyml-5.2.1"
     4   ML_SYSTEM="polyml-5.2.1"
     4   ML_SYSTEM="polyml-5.2.1"
     5   ML_PLATFORM="x86-darwin"
     5   ML_PLATFORM="x86-darwin"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     7   ML_OPTIONS="--immutable 800 --mutable 1200"
     7   ML_OPTIONS="--mutable 500 --immutable 1500"
     8 
     8 
     9 
     9 
    10 ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e
    10 ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e
    11 
    11 
    12 # Where to look for isabelle tools (multiple dirs separated by ':').
    12 # Where to look for isabelle tools (multiple dirs separated by ':').