[isabelle-dev] AFP devel broken

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Wed Dec 5 16:46:29 CET 2012

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.


More information about the isabelle-dev mailing list