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: Aug 15 2022 at 02:13 UTC