Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] search path changed

Email Gateway (Aug 17 2022 at 13:26):

From: Jeremy Dawson <Jeremy.Dawson@rsise.anu.edu.au>
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

Last updated: May 03 2024 at 08:18 UTC