[isabelle-dev] Total failure of sledgehammer

Lawrence Paulson lp15 at cam.ac.uk
Fri Sep 13 21:17:21 CEST 2013

That fixed it.

On 13 Sep 2013, at 10:15, Jasmin Blanchette <jasmin.blanchette at gmail.com> 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.

More information about the isabelle-dev mailing list