That fixed it. Larry On 13 Sep 2013, at 10:15, Jasmin Blanchette <[email protected]> wrote:
> Just to make sure it's not MaSh-related somehow, I would also recommend you > comment out "MASH=yes" in your settings file and see if this has any impact. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
