[isabelle-dev] HOL-Proofs broken?

[Makarius]

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.


 	Makarius