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"?
Manuel 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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev