[isabelle-dev] HOL build process hangs

Lawrence Paulson lp15 at cam.ac.uk
Thu May 3 13:18:33 CEST 2018

I'm encountering a strange phenomenon: the HOL build process runs for just over two minutes (which is not long enough to complete) and then seems to stop running, using 0.1% of the processor. I can repeat it and the same thing happens again. Today I was lucky on the third attempt. What could cause the build to hang and do nothing?


More information about the isabelle-dev mailing list