More systematic support for special directories
System
- The shell function isabelle_directory (within etc/settings of components) augments the list of special directories for persistent symbolic path names. This improves portability of heap images and session databases. It used to be hard-wired for Isabelle + AFP, but other projects may now participate on equal terms.
This refers to Isabelle/5894859c5c84.
- Projects
- None
- Subscribers
- None