Karl Palmskog (Sep 14 2023 at 12:21): 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
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.
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
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.
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.
Théo Zimmermann (Sep 18 2023 at 13:19):Indeed :upside_down:
Last updated: Oct 13 2024 at 01:02 UTC