Follow

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[1] but actually the whole thing should be redesigned from scratch[2] so it doesn't seem worth it to break things only to break them again shortly after.

[1] github.com/coq/coq/issues/1059
[2] A related discussion coq.discourse.group/t/would-co and an idea floating around is to build something on top of OCaml's odoc.

Sign in to participate in the conversation
La Quadrature du Net - Mastodon - Media Fédéré

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!