What would be the canonical way to change ISABELLE_HOME_USER to a non-global directy, i.e. somewhere else than
That sounds like something Lars Hupel might now. He made this
isabellectl tool that is a bit like
stack for Isabelle.
Setting USER_HOME seems to work
Last updated: Feb 27 2024 at 08:17 UTC