Stream: General

Topic: Change ISABELLE_HOME_USER


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Lukas Stevens (Nov 11 2020 at 11:29):

Setting USER_HOME seems to work


Last updated: Aug 15 2022 at 02:13 UTC