[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?

Jeremy





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