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 <makarius@sketis.net>
* Isabelle/VSCode Prover IDE *

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
Isabelle/src/Tools/VSCode/patches/.

This is the first time to make it semi-public. There are many small and big
questions that are still open, see details in
https://makarius.sketis.net/repos/isabelle_vscode_development/file/tip/TODO.md

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 12:30 UTC