Closed SkySkimmer closed 8 months ago
https://coq.inria.fr/refman/index.html is still 8.18 while https://coq.inria.fr/distrib/current/refman/ redirects to 8.19.0
https://coq.inria.fr/refman/index.html is still 8.18 while https://coq.inria.fr/distrib/current/refman/ redirects to 8.19.0