[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