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

Brian Huffman brianh at cs.pdx.edu
Wed Mar 24 15:23:11 CET 2010


On Wed, Mar 24, 2010 at 7:18 AM, Brian Huffman <brianh at cs.pdx.edu> wrote:
> I tried grepping everywhere I can think of,

I didn't move far enough up the directory tree: I found the offending
line in /etc/components.

- Brian



More information about the isabelle-dev mailing list