@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

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`

.

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

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

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.

Indeed :upside_down:

Last updated: Jun 13 2024 at 04:03 UTC