@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
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.
Last updated: Nov 29 2023 at 22:01 UTC