updated isatest;
authorwenzelm
Wed May 14 13:07:47 2014 +0200 (2014-05-14)
changeset 569612ac12a7b1a69
parent 56960 e7bf30290627
child 56962 9c2ca698690e
updated isatest;
Admin/isatest/settings/mac-poly-M4
Admin/isatest/settings/mac-poly-M8
     1.1 --- a/Admin/isatest/settings/mac-poly-M4	Wed May 14 12:24:38 2014 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly-M4	Wed May 14 13:07:47 2014 +0200
     1.3 @@ -2,8 +2,8 @@
     1.4  
     1.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     1.6  
     1.7 -  POLYML_HOME="/home/polyml/polyml-5.5.1"
     1.8 -  ML_SYSTEM="polyml-5.5.1"
     1.9 +  POLYML_HOME="/home/polyml/polyml-5.5.2"
    1.10 +  ML_SYSTEM="polyml-5.5.2"
    1.11    ML_PLATFORM="x86-darwin"
    1.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.13    ML_OPTIONS="-H 500 --gcthreads 4"
     2.1 --- a/Admin/isatest/settings/mac-poly-M8	Wed May 14 12:24:38 2014 +0200
     2.2 +++ b/Admin/isatest/settings/mac-poly-M8	Wed May 14 13:07:47 2014 +0200
     2.3 @@ -2,8 +2,8 @@
     2.4  
     2.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     2.6  
     2.7 -  POLYML_HOME="/home/polyml/polyml-5.5.1"
     2.8 -  ML_SYSTEM="polyml-5.5.1"
     2.9 +  POLYML_HOME="/home/polyml/polyml-5.5.2"
    2.10 +  ML_SYSTEM="polyml-5.5.2"
    2.11    ML_PLATFORM="x86-darwin"
    2.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.13    ML_OPTIONS="-H 500 --gcthreads 8"