[isabelle-dev] sledgehammer panel problem

[Lawrence Paulson]

Sorry 7cec5a4d5532 

Deleting Isabelle/lib/classes did the trick.

Larry

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.