Stream: VsCoq devs & users

Topic: Release 0.3.7


view this post on Zulip 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.

view this post on Zulip Laurent Théry (Dec 12 2022 at 13:11):

yes it is about time!

view this post on Zulip 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:

view this post on Zulip Laurent Théry (Dec 12 2022 at 13:15):

I will try my best!

view this post on Zulip 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.

view this post on Zulip Maxime Dénès (Dec 14 2022 at 15:25):

@Karl Palmskog Who owns the maximedenes namespace on VSX?

view this post on Zulip Maxime Dénès (Dec 14 2022 at 15:26):

I guess @Fabian Kunze ?

view this post on Zulip 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.

view this post on Zulip Maxime Dénès (Dec 14 2022 at 15:27):

The problem is not how it works, but to get the credentials ^^

view this post on Zulip Enrico Tassi (Dec 14 2022 at 15:27):

Let me see If I can find the doc... it is not "easy"

view this post on Zulip Karl Palmskog (Dec 14 2022 at 15:27):

OK, then I don't know, sorry, but likely Fabian, yes.

view this post on Zulip Enrico Tassi (Dec 14 2022 at 15:29):

Good luck: https://github.com/eclipse/openvsx/wiki/Publishing-Extensions

view this post on Zulip Fabian Kunze (Dec 14 2022 at 15:29):

It's my namespace as far as i remember

view this post on Zulip 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.

view this post on Zulip Fabian Kunze (Dec 14 2022 at 15:32):

@Maxime Dénès are you maximedenes on vsx?

view this post on Zulip 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"

view this post on Zulip 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.

view this post on Zulip Enrico Tassi (Dec 14 2022 at 15:35):

They were quick, IIRC.

view this post on Zulip Maxime Dénès (Dec 14 2022 at 15:36):

I don't recall having a vsx account, but let me check

view this post on Zulip Maxime Dénès (Dec 14 2022 at 15:38):

Ah yes I do, via GitHub authentication

view this post on Zulip 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

view this post on Zulip Maxime Dénès (Dec 14 2022 at 15:38):

I can add you and @Laurent Théry (who is preparing a release)

view this post on Zulip Fabian Kunze (Dec 14 2022 at 15:39):

I made you owner, maybe you can even delete my ownership now?

view this post on Zulip 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

view this post on Zulip 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?

view this post on Zulip Maxime Dénès (Dec 14 2022 at 15:41):

(Note that for VsCoq2, we will use a more neutral namespace than "maximedenes" ^^)

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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)

view this post on Zulip 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.

view this post on Zulip Laurent Théry (Jan 11 2023 at 14:37):

I have released it on the market place, soon on open VSX

view this post on Zulip Laurent Théry (Jan 11 2023 at 15:04):

it is in open VSX too now

view this post on Zulip Maxime Dénès (Jan 11 2023 at 15:04):

How about a tweet ? :)

view this post on Zulip Laurent Théry (Jan 11 2023 at 15:20):

I wanted to post something in Announcement but apparenlty I don't have the right

view this post on Zulip 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

view this post on Zulip 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 :)

view this post on Zulip 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 :)

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Jan 12 2023 at 10:15):

The tag is also needed to be able to package VsCoq for NixOS.

view this post on Zulip Laurent Théry (Jan 12 2023 at 10:20):

my bad, corrected, thanks

view this post on Zulip 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:

view this post on Zulip 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?

view this post on Zulip Paolo Giarrusso (Jan 12 2023 at 18:22):

I was also blinded by that logo initially, but I stopped caring after a while

view this post on Zulip Paolo Giarrusso (Jan 12 2023 at 18:23):

At least, let us know if this remains distracting

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Alexander Gryzlov (Jan 12 2023 at 21:15):

Or maybe I'll simply also get used to it soon :)

view this post on Zulip Laurent Théry (Jan 12 2023 at 22:37):

something like this logo1.png

view this post on Zulip Karl Palmskog (Jan 12 2023 at 22:39):

maybe make the rooster some shade of brown as well? But a bit redder?

view this post on Zulip Laurent Théry (Jan 12 2023 at 22:59):

using the sepia filter of gimp seems not bad : logo2.png

view this post on Zulip Karl Palmskog (Jan 14 2023 at 15:19):

My pitch for a @CoqLang tweet:

Version 0.3.7 of the VsCoq extension for #vscode is 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

view this post on Zulip Maxime Dénès (Jan 14 2023 at 16:36):

Thanks Karl, looks very good to me!

view this post on Zulip Théo Zimmermann (Jan 16 2023 at 10:15):

Tweet sent.

view this post on Zulip Laurent Théry (Jan 16 2023 at 10:19):

tweet
:+1:

view this post on Zulip Maxime Dénès (Jan 16 2023 at 12:13):

Thanks guys!

view this post on Zulip 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.

view this post on Zulip Laurent Théry (Jan 16 2023 at 13:09):

Can we make the color of the logo depends on the theme?


Last updated: Mar 29 2024 at 10:01 UTC