1.1 --- a/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Fri Jul 25 15:01:18 2014 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Fri Jul 25 16:50:49 2014 +0200
     1.3 @@ -2,11 +2,11 @@
     1.4  
     1.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     1.6  
     1.7 -  POLYML_HOME="/home/polyml/polyml-5.5.0"
     1.8 -  ML_SYSTEM="polyml-5.5.0"
     1.9 +  POLYML_HOME="/home/polyml/polyml-5.4.1"
    1.10 +  ML_SYSTEM="polyml-5.4.1"
    1.11    ML_PLATFORM="x86-darwin"
    1.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.13 -  ML_OPTIONS="-H 1000 --gcthreads 8"
    1.14 +  ML_OPTIONS="-H 1000"
    1.15  
    1.16  ISABELLE_GHC=ghc
    1.17  

     2.1 --- a/Admin/isatest/settings/mac-poly64-M4	Fri Jul 25 15:01:18 2014 +0200
     2.2 +++ b/Admin/isatest/settings/mac-poly64-M4	Fri Jul 25 16:50:49 2014 +0200
     2.3 @@ -2,14 +2,13 @@
     2.4  
     2.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     2.6  
     2.7 -  POLYML_HOME="/home/polyml/polyml-5.4.1"
     2.8 -  ML_SYSTEM="polyml-5.4.1"
     2.9 +  POLYML_HOME="/home/polyml/polyml-5.5.2"
    2.10 +  ML_SYSTEM="polyml-5.5.2"
    2.11    ML_PLATFORM="x86_64-darwin"
    2.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    2.13    ML_OPTIONS="-H 2000 --gcthreads 4"
    2.14  
    2.15 -#FIXME disabled due to polyml-5.4.1 compiler crash in Quickcheck_Lattice_Examples.thy
    2.16 -#ISABELLE_GHC=ghc
    2.17 +ISABELLE_GHC=ghc
    2.18  
    2.19  ISABELLE_HOME_USER=~/isabelle-mac-poly64-M4
    2.20  

     3.1 --- a/Admin/isatest/settings/mac-poly64-M8	Fri Jul 25 15:01:18 2014 +0200
     3.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Fri Jul 25 16:50:49 2014 +0200
     3.3 @@ -2,14 +2,13 @@
     3.4  
     3.5  init_components /home/isabelle/contrib "$HOME/admin/components/main"
     3.6  
     3.7 -  POLYML_HOME="/home/polyml/polyml-5.4.1"
     3.8 -  ML_SYSTEM="polyml-5.4.1"
     3.9 +  POLYML_HOME="/home/polyml/polyml-5.5.2"
    3.10 +  ML_SYSTEM="polyml-5.5.2"
    3.11    ML_PLATFORM="x86_64-darwin"
    3.12    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.13    ML_OPTIONS="-H 2000 --gcthreads 8"
    3.14  
    3.15 -#FIXME disabled due to polyml-5.4.1 compiler crash in Quickcheck_Lattice_Examples.thy
    3.16 -#ISABELLE_GHC=ghc
    3.17 +ISABELLE_GHC=ghc
    3.18  
    3.19  ISABELLE_HOME_USER=~/isabelle-mac-poly64-M8
    3.20