[isabelle-dev] file lookup subtlety

Walther Neuper wneuper at ist.tugraz.at
Mon Feb 28 12:23:18 CET 2011

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,

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>

More information about the isabelle-dev mailing list