[isabelle-dev] HOL-Proofs broken?
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