[isabelle-dev] HOL-Proofs broken?

Makarius makarius at sketis.net
Tue Oct 6 22:12:52 CEST 2015

On Tue, 6 Oct 2015, Dmitriy Traytel wrote:

> As a data point: when testing 8d40ddaa427f I could build “HOL-Proofs” in about 17 minutes.

This conforms to my expectations: HOL-Proofs is slow, but works.

I am presently on a side-branch starting from 5b5656a63bd6, and that works 
as well: https://bitbucket.org/makarius/isabelle/commits/1727d7d14d76

So the main candidates for bad changesets are: ebf296fe88d7, 2ebdd603cd71.


More information about the isabelle-dev mailing list