Jonathan Lindegaard Starup (Feb 10 2023 at 09:00): Jonathan Lindegaard Starup (Feb 10 2023 at 09:00):I know that Isabelle22 has "bundled Node.js/Chromium/Electron platform" but I can't find an guide on how to start/open it. It couldn't figure it out just by looking at the bundled files. Can anybody point me somewhere?
Fabian Huch (Feb 10 2023 at 09:05):You can start it with isabelle vscode.
Fabian Huch (Feb 10 2023 at 09:05):(where isabelle is your Isabelle binary)
Jonathan Lindegaard Starup (Feb 10 2023 at 09:10):I'm on windows, I write isabelle.exe vscode but that just opens the normal editor on a new file called vscode
Fabian Huch (Feb 11 2023 at 13:17):On windows, there's a cygwin-terminal.bat in which you can execute isabelle vscode, I think.
Jonathan Lindegaard Starup (Feb 13 2023 at 11:31):Ah, perfect! I haven't seen that mentioned anywhere, but now that you say it, it does make sense. Thanks!
Jonas Reinstaedtler (Apr 21 2023 at 18:24):Can i somehow add the extension to my regular vscodium setup? When i try to add it manually from Isabelle2022/contrib/vscode_extension-20220829/isabelle-2.0.0.vsix if doesn't work and starting it every time via isabelle vscode looses all my other config.
error message
Wolfgang Jeltsch (Apr 21 2023 at 21:31):I think Isabelle/VSCode uses a patched VS Codium, because there didn’t seem to be a reasonable way to handle Isabelle’s TeX-like encoding of special characters with the vanilla VS Codium.
Last updated: Apr 25 2024 at 20:15 UTC