Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] VS Code extension


view this post on Zulip Email Gateway (Mar 02 2021 at 06:53):

From: Jeremy Sylvestre <jsylvest@ualberta.ca>
Will the Isabelle2021 version of the VS Code extension be published to the
Marketplace?

view this post on Zulip Email Gateway (Mar 02 2021 at 09:58):

From: Makarius <makarius@sketis.net>
It is already here:
https://marketplace.visualstudio.com/items?itemName=makarius.Isabelle2021

Makarius

view this post on Zulip Email Gateway (Mar 02 2021 at 17:34):

From: Jeremy Sylvestre <jsylvest@ualberta.ca>
Thanks! Odd that searching for it in the Marketplace last night didn't
bring up any results.

view this post on Zulip Email Gateway (Mar 02 2021 at 17:53):

From: Jeremy Sylvestre <jsylvest@ualberta.ca>
Any chance you would consider also publishing the VS Code extension on Open
VSX?
https://open-vsx.org/

view this post on Zulip Email Gateway (Jun 05 2021 at 11:34):

From: Makarius <makarius@sketis.net>
Yes, maybe at a later stage, e.g. for the Isabelle2021-1 release (December 2021).

After some years of inactivity around Isabelle/VSCode, it will again become
more active in the coming months.

Makarius


Last updated: Mar 29 2024 at 08:18 UTC