tools/coqdoc · coq · Tangled

forked from coq/coq

coq tools coqdoc

28 files

Rodolphe Lepigre · Add -package option to [rocq doc]. · 4mo ago

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Add -package option to [rocq doc].

Library-fy coqdoc

Add -package option to [rocq doc].

Add -package option to [rocq doc].

Adding highlighting of the target of a internal link in coqdoc CSS.

Library-fy coqdoc

rename package coq-core -> rocq-runtime

Rename Coq -> Rocq in various comments and doc

Update the OCaml headers to reflect the fact Coq is now Rocq.

coqdoc recognize "Ltac2" as a Keyword

Add -package option to [rocq doc].

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Rename wwwstdlib -> wwwcorelib etc, add --corelib_url arg for rocqdoc

Rename Coq -> Rocq in various comments and doc

latexCompiler.ml

Update the OCaml headers to reflect the fact Coq is now Rocq.

latexCompiler.mli

Update the OCaml headers to reflect the fact Coq is now Rocq.

Implement Alectryon backend for Coqdoc

Update the OCaml headers to reflect the fact Coq is now Rocq.

rocqdoc_main.ml

Implement Alectryon backend for Coqdoc

rocqdoc_main.mli

Library-fy coqdoc

*** empty log message ***

Rename Coq -> Rocq in various comments and doc

Update the OCaml headers to reflect the fact Coq is now Rocq.