Vadim Zaliva (Apr 03 2024 at 16:10): Vadim Zaliva (Apr 03 2024 at 16:10):Just a quick informal poll: How many of you use Company-Coq alongside Proof General? I've been a happy user of both for a long time, but I'm concerned since Company-Coq hasn't been updated in 2 years. Is there any chance of merging Company-Coq features into Proof General?
Pierre Courtieu (Apr 03 2024 at 19:40):ping @Clément Pit-Claudel
Yosuke Ito (Apr 14 2024 at 22:52):Although I have not used Coq recently, I use Company-Coq on Proof General.
Clément Pit-Claudel (Apr 16 2024 at 15:30):Pong @Pierre Courtieu :)
@Vadim Zaliva the situation is that I'll fix anything critical that breaks, because I (and my students) depend on company-coq for my day-to-day work, so I'm definitely invested in keeping it alive. The maintainer sets are not super disjoint, so it would likely be a waste of time to move functionality from company-coq to PG (IOW if there's a bug that @Pierre Courtieu or @Erik Martin-Dorel or @Stefan Monnier or @Hendrik Tews wants to fix then I'll give them commit rights without hesitation)
Karl Palmskog (Apr 17 2024 at 10:30):to facilitate shared maintenance, maybe this would be an option: https://github.com/coq-community/manifesto?tab=readme-ov-file#collaborative-maintenance-of-coq-packages-and-tools
Last updated: Oct 13 2024 at 01:02 UTC