[isabelle] search path changed

Sometimes I find that loading a theory
causes the search path (as returned by showpath () ;)
to be altered.

This seems to happen only with a recent development version of Isabelle.

Is this change intended?

How can I avoid/fix this behaviour?


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