[isabelle-dev] file lookup subtlety
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...
Size: 1809 bytes
Desc: not available
More information about the isabelle-dev