Admin/isatest/settings/at-poly
changeset 25531 54e1f90beeb7
parent 22412 6366b0bd1bc3
child 26210 cf904c5642e1
equal deleted inserted replaced
25530:a09ab5a79d42 25531:54e1f90beeb7
     1 # -*- shell-script -*-
     1 # -*- shell-script -*-
     2 
     2 
     3   POLYML_HOME="/usr/proj/polyml/polyml-5.0"
     3   POLYML_HOME="/usr/proj/polyml/polyml-5.1"
     4   ML_SYSTEM="polyml-5.0"
     4   ML_SYSTEM="polyml-5.1"
     5   ML_PLATFORM="x86-linux"
     5   ML_PLATFORM="x86-linux"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     7   ML_OPTIONS="-H 500"
     7   ML_OPTIONS="-H 500"
     8 
     8 
     9 ISABELLE_HOME_USER=~/isabelle-at-poly
     9 ISABELLE_HOME_USER=~/isabelle-at-poly