A small usability issue. If I google for things in the stdlib I often end up on an old version of Coq.
E.g. "coq stdlib int63" for me points to: https://coq.github.io/doc/v8.11/stdlib/Coq.Numbers.Cyclic.Int63.Int63.html
The refman gives gentle pointers to newer versions. Would it be helpful to do the same for the stdlib?
@Théo Zimmermann ?
Yes, but this is beyond my area of expertise. I would welcome any improvements to the stdlib documentation, but I know nothing about coqdoc and how to customize it.
So if you find a volunteer to write a widget adding this feature, their PR would be most welcome.
Alternatively, one could remove these old copies, or use robot.txt to tell google not to index them.
Not sure about the right solution.
Remove: definitely not. People citing things in papers need permalinks to documentation for a fixed version of Coq. Avoiding indexing by Google, maybe, I'm not sure what is possible to do.
Last updated: Oct 03 2023 at 21:01 UTC