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?
> <>

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.


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