Code

initial coqdoc support#5695

Code

Merged

rgrinberg merged 1 commit intoocaml:mainocaml/dune:mainfrom Alizter:coqdocAlizter/dune:coqdocCopy head branch name to clipboardMay 26, 2022

+325-6

Commits

Commits on May 26, 2022

• feature(coq): coq.theory now provides coqdoc rules

  Show description for 8ce53e9
  Alizter

  committed
  8ce53e9