Hi Larry,
Am 13.09.2013 um 21:17 schrieb Lawrence Paulson <[email protected]>:
> 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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
