[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