Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle/VSCode as bundled application

view this post on Zulip Email Gateway (Mar 25 2022 at 12:38):

From: Makarius <>
* Isabelle/VSCode Prover IDE *

This refers to Isabelle/73034d385688, which also provides an updated 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