Hi Brian, On 20.03.2014 15:24, Brian Huffman wrote: > 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.)
No; it is just that the relevant Mira instance crashed. I've restarted it now. Best regards, Lars
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
