More systematic support for special directories
- 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.
Written by makarius on Aug 17 2020, 7:05 PM.