[isabelle-dev] Isabelle/VSCode as bundled application (and Electron and Node.js)

Makarius makarius at sketis.net
Fri Mar 25 14:01:56 CET 2022


On 25/03/2022 13:52, Makarius wrote:
> 
> Summary: We have a whole new world of technology based on Chromium/HTML/CSS/JS 
> bundled with Isabelle. The file-system footprint is about 1.2 GB for all 
> platforms together, and 300MB for just one platform (for end-user Isabelle 
> application bundles).

I should also say, that this is just a regular VSCodium distribution with some 
minor patches, to expose the underlying Electron platform separately. The 
default setup is just for the VSCodium application.

Thus we get both VSCodium and Electron following the principle "buy one, get 
one free".


	Makarius


More information about the isabelle-dev mailing list