Stream: VsCoq devs & users

Topic: New Release: 0.3.4


view this post on Zulip Fabian Kunze (Mar 15 2021 at 09:47):

I just published the new release to the vscode marketplace with a lot of bugfixes, including no more "narrow proof view", being able to reopen files after closing, better detection of coq keywords/identifiers and better performance when editing in huge (>3000 lines) files.

https://marketplace.visualstudio.com/items/maximedenes.vscoq/changelog

view this post on Zulip Fabian Kunze (Mar 15 2021 at 09:49):

Should we post in https://coq.discourse.group/c/announcements ?

view this post on Zulip Théo Zimmermann (Mar 15 2021 at 09:58):

Fabian Kunze said:

Should we post in https://coq.discourse.group/c/announcements ?

I think so. Not all interested VsCoq users or potential users are actively following this stream.

view this post on Zulip Meven Lennon-Bertrand (Mar 15 2021 at 11:45):

I am currently using VsCodium, which is basically an alternative to VsCode without Microsoft's spyware. By default, it does not use the VsCode marketplace (since it is controlled by Microsoft, there might be legality issues), but a specific one called open-vsx. Would it be possible to also release VsCoq there?

view this post on Zulip Théo Winterhalter (Mar 15 2021 at 11:46):

Meven Lennon-Bertrand said:

I am currently using VsCodium, which is basically an alternative to VsCode without Microsoft's spyware. By default, it does not use the VsCode marketplace (since it is controlled by Microsoft, there might be legality issues), but a specific one called open-vsx. Would it be possible to also release VsCoq there?

It's already discussed here: https://github.com/coq-community/vscoq/issues/146

view this post on Zulip Meven Lennon-Bertrand (Mar 15 2021 at 11:47):

Indeed, thanks!

view this post on Zulip Fabian Kunze (Mar 15 2021 at 13:21):

@Meven Lennon-Bertrand here you go: https://open-vsx.org/extension/maximedenes/vscoq


Last updated: Jun 04 2023 at 23:30 UTC