Chengsong Tan (May 04 2024 at 16:45): Chengsong Tan (May 04 2024 at 16:45):Hi all,
Does Isabelle have some version control system like python's virtual environment, such that you can say "switch from Isabelle 2021-1 to Isabelle 2024"?
If not, let's say our current "isabelle" command invokes Isabelle2021, then how to change this default behaviour to link isabelle to a newer version, for instance Isabelle2024?
Thanks a lot,
Chengsong
Mathias Fleury (May 04 2024 at 17:16):It depends on the system you are using. For windows and mac, just install the last version
Mathias Fleury (May 04 2024 at 17:17):for linux, you probably defined isabelle to run a certain command (try which isabelle) and just update that…
Chengsong Tan (May 05 2024 at 08:32):Mathias Fleury said:
It depends on the system you are using. For windows and mac, just install the last version
Hi Mathias,
Thank you very much for the answer!
I will elaborate the process a bit more in case it becomes useful for future viewers:
For Mac users, do the following:
1) Download the version and decompress it so you get e.g. Isabelle2024.app
2) Change into the folder where the binary exists:cd Isabelle2024.app/bin
3) Choose a directory for which you want this binary to be installed, e.g. /usr/local/bin
4) Make sure that such location is empty, if not, manually remove all files, e.g.: rm -r /usr/local/bin/isabelle'
5)Now call ./isabelle install /usr/local/bin` and the new version of isabelle will become available!
Best wishes,
Chengsong
Last updated: May 19 2024 at 01:13 UTC