Stream: VsCoq devs & users

Topic: New release


view this post on Zulip Alexander Gryzlov (Jun 19 2020 at 15:00):

Is there a plan for a new release?

view this post on Zulip Maxime Dénès (Jun 22 2020 at 06:59):

Yes, I'll try to make a release this week

view this post on Zulip Alexander Gryzlov (Jul 16 2020 at 17:28):

Thanks!

view this post on Zulip Alexander Gryzlov (Feb 19 2021 at 13:54):

Hello, is there a plan for a new release any time soon? Seems like there was a number of useful fixes and updates by @Fabian Kunze since 0.3.2

view this post on Zulip Fabian Kunze (Feb 24 2021 at 08:01):

We had some difficulties with the vscode-extension-store, but made progress. I expect a new release in the next two weeks.


Last updated: Jan 30 2023 at 18:04 UTC