doc/sphinx/_static · coq · Tangled

forked from coq/coq

coq doc sphinx _static

1 folder · 24 files

zimmi48.tngl.sh · Add CSS to fix the display of description lists in recent versions of Sphinx. · 1y ago

Only customize the rtd theme

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

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

Improve CoqIDE documentation

Document the CoqIDE visual Ltac debugger

diffs-coqtop-compacted.png

Documentation for proof diffs

diffs-coqtop-multigoal.png

Documentation for proof diffs

diffs-coqtop-on.png

Documentation for proof diffs

diffs-coqtop-on3.png

Documentation for proof diffs

diffs-error-message.png

Show diffs in error messages if color is enabled

diffs-rocqide-compacted.png

Rename coqide -> rocqide

diffs-rocqide-multigoal.png

Rename coqide -> rocqide

diffs-rocqide-on.png

Rename coqide -> rocqide

diffs-rocqide-removed.png

Rename coqide -> rocqide

diffs-show-proof.png

Add an XML message for "Show Proof Diffs" Add menu item that uses this

Add CSS to fix the display of description lists in recent versions of Sphinx.

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

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

rocqide-preferences-editor.png

Rename coqide -> rocqide

rocqide-preferences-shortcuts.png

Rename coqide -> rocqide

rocqide-queries.png

Rename coqide -> rocqide

Rename coqide -> rocqide

rocqnotations.sty

coqrst is now rocqrst

RocqNotations.ttf

coqrst is now rocqrst