Mercurial Mercurial > repos > testboard / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/settings/at-poly-test
changeset 52830 cfa2367d7212
parent 52751 b65d699f1a7e
child 53687 4b9894aad605
equal deleted inserted replaced
52827:395d3df496ed 52830:cfa2367d7212 
     1 # -*- shell-script -*- :mode=shellscript:
 
     1 # -*- shell-script -*- :mode=shellscript:
 
     2 
     2 
     3 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
     3 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
     4 
     4 
     5   POLYML_HOME="/home/polyml/polyml-svn"
 
     5   POLYML_HOME="/home/polyml/polyml-svn"
 
     6   ML_SYSTEM="polyml-5.5.0"
 
     6   ML_SYSTEM="polyml-5.5.1"
 
     7   ML_PLATFORM="x86-linux"
 
     7   ML_PLATFORM="x86-linux"
 
     8   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
 
     8   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
 
     9   ML_OPTIONS="-H 500 --gcthreads 1"
 
     9   ML_OPTIONS="-H 500 --gcthreads 1"
 
    10 
    10 
    11 ISABELLE_HOME_USER=~/isabelle-at-poly-test
 
    11 ISABELLE_HOME_USER=~/isabelle-at-poly-test
testboard