[isabelle-dev] sledgehammer panel problem

Lawrence Paulson lp15 at cam.ac.uk
Wed Sep 25 16:07:50 CEST 2013

Sorry 7cec5a4d5532 

Deleting Isabelle/lib/classes did the trick.


On 25 Sep 2013, at 14:58, Makarius <makarius at sketis.net> wrote:

> I don't see a public Isabelle version of that id -- isn't that your project repository?
> Maybe your Isabelle clone got messed up locally, as a bad merge produced hy "hg fetch" or "hg up".  You can also try to purge Isabelle/lib/classes carefully by hand.

More information about the isabelle-dev mailing list