Lukas Stevens (Nov 11 2020 at 10:44): Lukas Stevens (Nov 11 2020 at 10:44):What would be the canonical way to change ISABELLE_HOME_USER to a non-global directy, i.e. somewhere else than ~/.isabelle?
Manuel Eberl (Nov 11 2020 at 10:53):That sounds like something Lars Hupel might now. He made this isabellectl tool that is a bit like stack for Isabelle.
Lukas Stevens (Nov 11 2020 at 11:29):Setting USER_HOME seems to work
Last updated: Apr 23 2024 at 08:19 UTC