Isabelle2022 Release process

m-fleury commented 2 years ago

I missed RC1
[x] RC2 - skipped use RC3 instead
[x] RC3 see branch Isabelle-2022-RC2-2-more-vscode (I took the version one day before the RC3 release, so I'll skip the RC3)
[x] RC4 see branch Isabelle2022-RC4-more-vscode
[x] Release

Current regressions:

[x] Symbols are not folded in the headings (this only concerns the "breadcrumb" bar on top, not the file itself)
[x] Syntax highlighting has slightly changed and is broken under certain conditions (not on my test file for some reasons)
[x] the goals shows unicode characters, making copy-paste work, but isabelle build fails
[x] isabelle vscode is broken by the unicode re-encoding. This is rather unfortunate

m-fleury commented 2 years ago

isabelle components -I isabelle components -a

And don't forget to add the AFP and other settings in ~/.isabelle/etc/Isabelle2022-RC<XX>-more-vscode/etc/settings

m-fleury commented 2 years ago

Update is out, it seems to work.

m-fleury / isabelle-emacs