Isabelle 2021 - Githubissues

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches

Other

25 stars 5 forks source link

Isabelle 2021 #41

Closed m-fleury closed 3 years ago

m-fleury commented 3 years ago

[x] Isabelle2021-RC0, in branch Isabelle2021-RC0-more-vscode
[x] Isabelle2021-RC1 in branch Isabelle2021-RC1-more-vscode
[x] Isabelle2021-RC2 in branch Isabelle2021-RC2-more-vscode
[x] oopsie
[x] Isabelle2021-RC5 in branch Isabelle2021-RC5-more-vscode
[x] ...
[x] ...

To update:

clone and switch to the corresponding branch
isabelle components -I
isabelle components -a
add the AFP and whatever else you need to ~/.isabelle/Isabelle2021-RCXX-vsce/etc/settings (or use mv ~/.isabelle/Isabelle2021-RCXX-vsce/ ~/.isabelle/Isabelle2021-RCXX-vsce/)