On 03/05/18 15:34, Lawrence Paulson wrote:
>
> ISABELLE_BUILD_OPTIONS=""
>
> ML_PLATFORM="x86-darwin"
> ML_HOME="/Users/lp15/.isabelle/contrib/polyml-5.7.1-5/x86-darwin"
> ML_SYSTEM="polyml-5.7.1"
> ML_OPTIONS="-H 1000"
Lets try with ML_OPTIONS="--minheap 1500" (in
$ISABELLE_HOME_USER/etc/settings) and with threads=4 (in the
Isabelle/jEdit / Plugins / Plugin Options / Isabelle / General -- near
the bottom).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
