[isabelle-dev] testboard stuck?

Lawrence Paulson lp15 at cam.ac.uk
Fri Jul 31 17:27:36 CEST 2020

I had a run going (the change involved adding a single lemma and shouldn’t have affected anything) but it got stuck as shown in the screenshot and was aborted after three hours. Any idea what could have gone wrong here?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200731/54bf0529/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot 2020-07-31 at 15.56.34.png
Type: image/png
Size: 112857 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200731/54bf0529/attachment-0001.png>

More information about the isabelle-dev mailing list