Fabian Kunze (Mar 15 2021 at 09:47): 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
Fabian Kunze (Mar 15 2021 at 09:49):Should we post in https://coq.discourse.group/c/announcements ?
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.
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?
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
Meven Lennon-Bertrand (Mar 15 2021 at 11:47):Indeed, thanks!
Fabian Kunze (Mar 15 2021 at 13:21):@Meven Lennon-Bertrand here you go: https://open-vsx.org/extension/maximedenes/vscoq
Last updated: Jan 30 2023 at 17:03 UTC