[isabelle-dev] sledgehammer panel problem
lp15 at cam.ac.uk
Wed Sep 25 16:07:50 CEST 2013
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