Sorry 7cec5a4d5532 Deleting Isabelle/lib/classes did the trick.
Larry On 25 Sep 2013, at 14:58, Makarius <[email protected]> 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
