[isabelle-dev] Cannot build HOL (again)
eberlm at in.tum.de
Mon May 21 16:13:59 CEST 2018
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev