Stream: Coq devs & plugin devs

Topic: 8.18 documentation


view this post on Zulip Karl Palmskog (Sep 14 2023 at 12:21):

@Enrico Tassi who is handling the deployment of 8.18 Stdlib documentation? Finally we can get rid of all those "binders" clogging up the index at https://coq.inria.fr/stdlib/genindex.html

view this post on Zulip Karl Palmskog (Sep 14 2023 at 12:23):

also would be nice if changelog mention in https://github.com/coq/coq/releases/tag/V8.18.0 linked to documentation at coq.inria.fr.

view this post on Zulip Karl Palmskog (Sep 14 2023 at 12:24):

ah, it seems documentation got stuck due to some coqbot thing: https://github.com/coq/coq.github.io/pull/222#issuecomment-1713774403

view this post on Zulip Théo Zimmermann (Sep 14 2023 at 18:33):

Yep, and I didn't find the time to look into it because I had a paper deadline this week.

view this post on Zulip Ali Caglayan (Sep 18 2023 at 13:15):

I was going to let people know that 8.17 is considered the stable version in the refman at the moment. But it looks like you are already aware.

view this post on Zulip Théo Zimmermann (Sep 18 2023 at 13:19):

Indeed :upside_down:


Last updated: Jun 13 2024 at 04:03 UTC