[isabelle-dev] Total failure of sledgehammer

Jasmin Blanchette jasmin.blanchette at gmail.com
Mon Sep 23 15:54:48 CEST 2013


Hi Larry,

Am 13.09.2013 um 21:17 schrieb Lawrence Paulson <lp15 at cam.ac.uk>:

> That fixed it.

One of the Australians has run into the same issue with MaSh. The issue should be addressed starting with Isabelle/8d9f4e89d8c8. If you're willing to give MaSh a second try, you could try to set "MASH=yes" again.

To be sure that no stale data or zombies lie around, I would recommend running the following commands:

    pkill -f "ython.*server.py"
    rm -fr ~/.isabelle/mash/

Thank you for the report & sorry for the invconvenience!

Regards,

Jasmin




More information about the isabelle-dev mailing list