Email Gateway (Mar 02 2021 at 06:53): 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?
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
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.
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/
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: Jan 04 2025 at 20:18 UTC