[isabelle-dev] file lookup subtlety

[Walther Neuper]

Updating isac from Isabelle2009-2 to Isabelle2011 we run into problems 
with the 'subtle change' in file lookup announced in NEWS.

So we reanimated a test-mini-isac which helped us to update to 
Isabelle2009-2, but again we do not come to a clue; the test in the 
attachment is at the state, where we gave up in Isabelle2011 for now.

Help would be highly appreciated,
Walther

PS: the outcommented parts worked in Isabelle2009-2
-------------- next part --------------
A non-text attachment was scrubbed...
Name: file-depend.tgz
Type: application/x-compressed-tar
Size: 1809 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110228/e1c75ba5/attachment.bin>