Karl Palmskog (Dec 12 2022 at 12:36): Karl Palmskog (Dec 12 2022 at 12:36):It has been almost a year since the last VsCoq release, and nearly 100 commits since then to master. Please consider making a new release in the near future.
Laurent Théry (Dec 12 2022 at 13:11):yes it is about time!
Karl Palmskog (Dec 12 2022 at 13:14):@Laurent Théry great, could you coordinate with Maxime so that we know how to upload a new release to VS Code Marketplace and OpenVSX? Recall that the release must be uploaded to both:
Laurent Théry (Dec 12 2022 at 13:15):I will try my best!
Laurent Théry (Dec 13 2022 at 12:26):I have created a milesone 0.3.7. Don't hesitate to put it to PR you would like to get integrated.
Maxime Dénès (Dec 14 2022 at 15:25):@Karl Palmskog Who owns the maximedenes namespace on VSX?
Maxime Dénès (Dec 14 2022 at 15:26):I guess @Fabian Kunze ?
Karl Palmskog (Dec 14 2022 at 15:26):unfortunately, I have no idea. I thought it was you? However, I know that @Enrico Tassi recently submitted to OpenVSX for his Elpi thing, maybe he knows how it works.
Maxime Dénès (Dec 14 2022 at 15:27):The problem is not how it works, but to get the credentials ^^
Enrico Tassi (Dec 14 2022 at 15:27):Let me see If I can find the doc... it is not "easy"
Karl Palmskog (Dec 14 2022 at 15:27):OK, then I don't know, sorry, but likely Fabian, yes.
Enrico Tassi (Dec 14 2022 at 15:29):Good luck: https://github.com/eclipse/openvsx/wiki/Publishing-Extensions
Fabian Kunze (Dec 14 2022 at 15:29):It's my namespace as far as i remember
Fabian Kunze (Dec 14 2022 at 15:30):I was expecting that the day I have to figure out how to migrate this to someone else will eventually come.
Fabian Kunze (Dec 14 2022 at 15:32):@Maxime Dénès are you maximedenes on vsx?
Enrico Tassi (Dec 14 2022 at 15:34):IIRC I had to claim "gares.elpi-lang", by opening an issue and explaining why "it is yours"
Fabian Kunze (Dec 14 2022 at 15:34):I think I can transfer ownershop to maximedenes, and you can then also add others to the namespace.
Just give me an confirmation that maximedenes on vsx is not someone impersionating maxime.
Enrico Tassi (Dec 14 2022 at 15:35):They were quick, IIRC.
Maxime Dénès (Dec 14 2022 at 15:36):I don't recall having a vsx account, but let me check
Maxime Dénès (Dec 14 2022 at 15:38):Ah yes I do, via GitHub authentication
Maxime Dénès (Dec 14 2022 at 15:38):@Fabian Kunze So yes, if you can transfer it to me, it would be perfect
Maxime Dénès (Dec 14 2022 at 15:38):I can add you and @Laurent Théry (who is preparing a release)
Fabian Kunze (Dec 14 2022 at 15:39):I made you owner, maybe you can even delete my ownership now?
Fabian Kunze (Dec 14 2022 at 15:39):I can't do so myself, but maybe I'm a "super-owner", as I created the namespace on open vsx
Maxime Dénès (Dec 14 2022 at 15:41):It works, I can probably delete your ownership but don't you want to keep it in case you do a release some day?
Maxime Dénès (Dec 14 2022 at 15:41):(Note that for VsCoq2, we will use a more neutral namespace than "maximedenes" ^^)
Laurent Théry (Dec 15 2022 at 10:18):Ok I have created a tag for 0.3.7. I will test it (if you could do it too it would be great too). If everything is ok, I will publish it next week
Fabian Kunze (Dec 15 2022 at 10:51):Maxime Dénès said:
It works, I can probably delete your ownership but don't you want to keep it in case you do a release some day?
True, if needed I can publish the release on open VSX, but as I'm not a maintainer anymore, it's probably more efficient to let another person do so. If any questions arise, I'm happy to help.
Laurent Théry (Dec 15 2022 at 10:55):ok I've backed up. Remove the tag, Still there is a branch if you want to test
Laurent Théry (Dec 21 2022 at 14:13):I am testing 0.3.7 and I am a bit puzzled that some bugs reappeared (they were not in 0.3.6)
I did a PR to reintroduce the scrolling on the goal view. I will try to track 1 and 2 (I think they are related)
Huỳnh Trần Khanh (Dec 22 2022 at 03:06):I already commented on your PR. I'll also check the two other bugs that I introduced. It's nice that you took the time to find these bugs.
Laurent Théry (Jan 11 2023 at 14:37):I have released it on the market place, soon on open VSX
Laurent Théry (Jan 11 2023 at 15:04):it is in open VSX too now
Maxime Dénès (Jan 11 2023 at 15:04):How about a tweet ? :)
Laurent Théry (Jan 11 2023 at 15:20):I wanted to post something in Announcement but apparenlty I don't have the right
Karl Palmskog (Jan 11 2023 at 15:24):if you want to post in Announcements on the Zulip, please post in the Discourse: https://coq.discourse.group/c/announcements/8
... and then it will be relayed to the Zulip #Announcements
Alexander Gryzlov (Jan 11 2023 at 21:59):Very nice! Though I must say a bright red-orange miniicon for Coq files is a bit of an overkill :)
Meven Lennon-Bertrand (Jan 12 2023 at 10:13):The shelved goal panel is also quite nice! Now I can monitor which tactic introduces undesired shelved goals that never get solved in a better way than just bisecting the proof with "Unshelve" commands :)
Karl Palmskog (Jan 12 2023 at 10:14):@Laurent Théry I don't see a tag or GitHub release for 0.3.7: https://github.com/coq-community/vscoq/releases
Would be nice to have this to track things like commits between versions, changelog, etc.
Théo Zimmermann (Jan 12 2023 at 10:15):The tag is also needed to be able to package VsCoq for NixOS.
Laurent Théry (Jan 12 2023 at 10:20):my bad, corrected, thanks
Laurent Théry (Jan 12 2023 at 10:36):Meven Lennon-Bertrand said:
The shelved goal panel is also quite nice!
@Huỳnh Trần Khanh :clap: :clap:
Laurent Théry (Jan 12 2023 at 15:51):Alexander Gryzlov said:
Very nice! Though I must say a bright red-orange miniicon for Coq files is a bit of an overkill :)
Personnaly I like it, it immediately shows that you have the new version :wink:
More seriously,I think it is the standard coq-community logo, what would you have preferred?
Paolo Giarrusso (Jan 12 2023 at 18:22):I was also blinded by that logo initially, but I stopped caring after a while
Paolo Giarrusso (Jan 12 2023 at 18:23):At least, let us know if this remains distracting
Karl Palmskog (Jan 12 2023 at 18:32):I think that logo is one of the best we have for Coq. But please feel free to revisit the color theme
Alexander Gryzlov (Jan 12 2023 at 21:15):Laurent Théry said:
Personnaly I like it, it immediately shows that you have the new version :wink:
More seriously,I think it is the standard coq-community logo, what would you have preferred?
It is a cool logo indeed, just that the red dot typically carries a connotation of something going wrong. Maybe the color theme could be changed to e.g. the one of what I call the "chess piece" rooster logo. image.png
Alexander Gryzlov (Jan 12 2023 at 21:15):Or maybe I'll simply also get used to it soon :)
Laurent Théry (Jan 12 2023 at 22:37):something like this logo1.png
Karl Palmskog (Jan 12 2023 at 22:39):maybe make the rooster some shade of brown as well? But a bit redder?
Laurent Théry (Jan 12 2023 at 22:59):using the sepia filter of gimp seems not bad : logo2.png
Karl Palmskog (Jan 14 2023 at 15:19):My pitch for a @CoqLang tweet:
Version 0.3.7 of the VsCoq extension for
#vscodeis out, bringing bugfixes and features like a shelved goal panel. Thanks to the VsCoq maintainers Huỳnh Trần Khanh, Laurent Théry,@Blaisorblade, and all contributors for their hard work on this release! https://coq.discourse.group/t/vscoq-0-3-7-is-out/1876
Maxime Dénès (Jan 14 2023 at 16:36):Thanks Karl, looks very good to me!
Théo Zimmermann (Jan 16 2023 at 10:15):Tweet sent.
Laurent Théry (Jan 16 2023 at 10:19): tweet
:+1:
Maxime Dénès (Jan 16 2023 at 12:13):Thanks guys!
Maxime Dénès (Jan 16 2023 at 12:13):For the logo, just mentioning that @Romain Tetley was also applying some customization to it for the VsCoq 2 branch, I believe.
Laurent Théry (Jan 16 2023 at 13:09):Can we make the color of the logo depends on the theme?
Last updated: Jun 04 2023 at 23:30 UTC