[isabelle-dev] Isabelle/VSCode as bundled application (and Electron and Node.js)
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
More information about the isabelle-dev