Re: [isabelle] building session confuses paths to theories





On 2016-01-12 13:23, Peter Lammich wrote:
This error often happens if you re-arrange theories in the build.

Isabelle only seems to check the theory path the first time it sees the
import, any further imports of the same theory seem to be somewhat path
insensitive ... so wrong import paths may slip through, and only
manifest them later.
Thank you, Peter, for the helpful explanation.

It is hard here to find out, what is really going on, by we have already partial success:
    https://intra.ist.tugraz.at/hg/isa/rev/ebf4a8a63371

Walther




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.