Stream: VsCoq devs & users

Topic: Tagging 0.3.5

view this post on Zulip Paolo Giarrusso (Jan 02 2022 at 15:27):

Since 0.3.5 was released to the marketplace, could the right tag be added to https://github.com/coq-community/vscoq ?

Last updated: Jun 04 2023 at 23:30 UTC