Thanks for the quick response! - Brian
On Wed, Mar 24, 2010 at 7:24 AM, Sascha Boehme <[email protected]> wrote: > Hi Brian, > > This is an artefact I forgot to remove. Changeset dc36cd801694 should > correct this. I am sorry for any inconvenience. > > Sascha > > > 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 > _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
