From: Makarius <email@example.com>
* 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
isabelle-dev mailing list
Last updated: Mar 04 2024 at 12:30 UTC