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. Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
