coqdoc is packaged as part of Coq, so projects stuck on older versions don't benefit from bugfixes and new features. That's sad. I've been wanting to split it off but actually the whole thing should be redesigned from scratch so it doesn't seem worth it to break things only to break them again shortly after.
 A related discussion https://coq.discourse.group/t/would-coq-benefit-from-docstrings/849/3 and an idea floating around is to build something on top of OCaml's odoc.
Mamot.fr est une serveur Mastodon francophone, géré par La Quadrature du Net.