[isabelle-dev] Isabelle/VSCode as bundled application
makarius at sketis.net
Fri Mar 25 13:38:00 CET 2022
*** Isabelle/VSCode Prover IDE ***
* VSCodium, an open-source distribution of VSCode without MS
telemetry, has been bundled with Isabelle as add-on component. The
command-line tool "isabelle vscode" automatically configures it as
Isabelle/VSCode and starts the application.
* Command-line tools "isabelle electron" and "isabelle node" provide
access to the underlying technologies of VSCodium, for use in other
applications. This essentially provides a freely programmable Chromium
browser engine that works uniformly on all platforms.
This refers to Isabelle/73034d385688, which also provides an updated
README.md: VSCodium shows that in the regular extension dialog.
After some weeks of struggling with the underlying technologies, the required
patches to VSCodium turned out rather simple, see
This is the first time to make it semi-public. There are many small and big
questions that are still open, see details in
More information about the isabelle-dev