[isabelle-dev] Isabelle_makeall not finishing on testboard

[Brian Huffman]

Hi everyone,

I've noticed that recent changesets (up to 00112abe9b25) on testboard
have completed Pure and HOL tests, but the HOL_makeall results never
show up. (The most recent HOL_makeall report is 3253aaf73a01, dated
March 18.)

Does anyone know why this is? Is one of the HOL theories going into an
infinite loop? (I currently have insufficient computing resources to
test everything myself.)

- Brian