[isabelle-dev] Total failure of sledgehammer

Lawrence Paulson lp15 at cam.ac.uk
Thu Sep 12 20:14:59 CEST 2013

Provers don't launch at all (according to process monitor) and no output, either in the new S/H panel or via the sledgehammer command. I'm using 9d8764624487 but I don't think the precise version matters, as I grabbed a new copy this morning and nothing's changed.

Anybody else seen this?


More information about the isabelle-dev mailing list