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_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
