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