diff options
| author | Emilio Jesus Gallego Arias | 2018-10-02 21:38:55 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-02 21:38:55 +0200 |
| commit | cb16f994e14073ab5731beeffc05ea114001d8e1 (patch) | |
| tree | e019bbd4ad16afe0f696614562e06d9a5138b52e /kernel/cClosure.mli | |
| parent | 24550259892e9e408b11359fa71b240083e7546f (diff) | |
[doc] [api] Remove `ocamldoc` support in favor of `odoc`
This PR removes support for `ocamldoc` in favor of `odoc`.
Following a recent discussion in OCaml's discord, it turns out that
basically all the ecosystem has migrated to odoc, thus we follow suit
and may focus on `odoc` for Coq's ML API documentation.
Diffstat (limited to 'kernel/cClosure.mli')
0 files changed, 0 insertions, 0 deletions