Hi Larry, Am 13.09.2013 um 21:17 schrieb Lawrence Paulson <l...@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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev