Re: [isabelle] Incomplete goal may cause proof methods of later goals to loop.



Am 22.04.14 14:47, schrieb Makarius:
So lets try the following parameters:

  threads = 2

and in $ISABELLE_HOME_USER/etc/settings:

  ML_OPTIONS="-H 500 --gcthreads 2"
Thanks, this helped with the responsiveness.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.