Re: [isabelle] VS Code extension



On 02/03/2021 18:52, Jeremy Sylvestre wrote:
> Any chance you would consider also publishing the VS Code extension on Open VSX?
> https://open-vsx.org/ <https://open-vsx.org/>

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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.