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: Dec 07 2023 at 08:19 UTC