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?


isabelle-dev mailing list

Reply via email to