Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-1-RC3: Isabelle/VSCode extension


view this post on Zulip Email Gateway (Nov 13 2021 at 11:50):

From: Makarius <makarius@sketis.net>
I have now updated the Isabelle/VSCode extension and briefly tested it with
Isabelle2021-1-RC3:

https://marketplace.visualstudio.com/items?itemName=makarius.Isabelle2021-1

Unless there are serious problems, the "Isabelle2021-1" extension will remain
unchanged for this release cycle (version 1.2.2).

Some months ago, I planned to brush up the extension based on the results of a
BS project at TU München, but got side-tracked into too many other projects
with higher priority.

After the release, I will spend some weeks to assimilate the VSCode platform
into Isabelle in the usual manner --- in that order, not the other way round.
This will probably be based on the open-source distribution VSCodium, or
another alternative of the non-free MicroSoft downloads.

Makarius


Last updated: Mar 29 2024 at 04:18 UTC