Isabelle2023

[m-fleury]

It is that time of year again:

• [X] RC1 (Isabelle2023-RC1-more-vscode)
• [X] RC2 (Isabelle2023-RC2-more-vscode)
• [X] RC3 (Isabelle2023-RC3-more-vscode)
• [X] RC4 (Isabelle2023-RC4-more-vscode)
• [X] RC5 (Isabelle2023-RC5-more-vscode)
• [X] final version (Isabelle2023-vsce)

Do not forget that you have to update your configuration (~/.isabelle/Isabelle2023-RCX-vsce) and to pull the components

[m-fleury]

Be careful: the branch is now called Isabelle2023-vsce (to be consistent with the file in .isabelle and the version instead of -more-vscode.

@gh-salt also don't forget to do a isabelle components -I and isabelle components -a

[gh-salt]

I just tested the install. The config files for spacemacs seem to have disappeared. (I mean the ones in .../src/Tools/emacs-lsp/spacemacs_layers/isabelle/ ). Instead, there is the img folder with the screenshots of isabelle-emacs on spacemacs.

[gh-salt]

I guess I can just copy them from Isabelle2021-more-vscode ?

[gh-salt]

I tried to do just that and it works but the command to insert a new line from the command mode of evil is again super slow (and the one to delete a line too...). Is there a fix that was lost in between?

[m-fleury]

I just tested the install. The config files for spacemacs seem to have disappeared. (I mean the ones in .../src/Tools/emacs-lsp/spacemacs_layers/isabelle/ ). Instead, there is the img folder with the screenshots of isabelle-emacs on spacemacs.

Fixed.

git diff -b Isabelle2021-1-more-vscode spacemacs_layers/isabelle/*.el

does not seem to indicate any difference since, so something else must have broken recently… You are using emacs28?