It works fine for me.

Did you perhaps switch on ML debugging/exception tracing? HOL becomes
virtually impossible to build with that switched on. What is the content
of your ".isabelle/etc/preferences"?


On 2018-05-21 15:43, Lawrence Paulson wrote:
> I am continuing to be plagued by HOL failing to build, stalling quite 
> reproducibly after about two minutes of processor time. It's a big obstacle 
> to getting any work done, so tips would be welcome.
> Larry
> _______________________________________________
> isabelle-dev mailing list
isabelle-dev mailing list

Reply via email to