[isabelle-dev] Bad Isabelle component: "/home/brianh/hg/isabelle/src/Tools/Cache_IO"

Sascha Boehme boehmes at in.tum.de
Wed Mar 24 15:24:54 CET 2010

Hi Brian,

This is an artefact I forgot to remove.  Changeset dc36cd801694 should
correct this.  I am sorry for any inconvenience.  


Brian Huffman wrote:
> After pulling from the repository this morning, and trying to rebuild
> Isabelle/HOL, I immediately get the following error:
> Bad Isabelle component: "/home/brianh/hg/isabelle/src/Tools/Cache_IO"
> I also get the same error when I try to just build Isabelle/Pure.
> I tried grepping everywhere I can think of, but I can't find the
> string "Cache_IO" anywhere, so I'm not sure why it's looking for such
> a directory that no longer exists.
> Can anyone tell me what's going on here?
> - Brian

More information about the isabelle-dev mailing list