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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
