[isabelle-dev] AFP devel broken

[Tobias Nipkow]

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.

Tobias

> Jasmin
>