HomeIsabelle/Phabricator
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.

Written by makarius on Aug 17 2020, 7:05 PM.
User
Projects
None
Subscribers
None

Event Timeline