[isabelle-dev] Isabelle/VSCode as bundled application

Makarius 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 mailing list