[isabelle-dev] Isabelle_makeall not finishing on testboard

Brian Huffman huffman.brian.c at gmail.com
Thu Mar 20 15:24:10 CET 2014

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

More information about the isabelle-dev mailing list