[isabelle-dev] AFP devel broken

Tobias Nipkow nipkow at in.tum.de
Wed Dec 5 16:51:49 CET 2012

Am 05/12/2012 16:46, schrieb Jasmin Christian Blanchette:
> Am 05.12.2012 um 16:33 schrieb Tobias Nipkow:
>> I tried again (but after some hg fetches, and am now on 3ae4376cb739), and now
>> HOL still builds but HOLCF hangs. On the other hand Johannes (running Linux
>> rather than MacOS) is fine. Suspicion: I had to do isabelle components -a this
>> morning, and this may have done it.
> Do you remember which component was reported as missing? If it was only "z3-3.2", I doubt it has anything to do with HOLCF's hanging.

Unfortunately not. It may only have been z3-3.2, but I do remember having
received a new Java very recently, too.


> Jasmin

More information about the isabelle-dev mailing list