aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx
ModeNameSize
-rw-r--r--MIGRATING9134logplain
d---------_static408logplain
d---------addendum654logplain
-rw-r--r--biblio.bib43129logplain
-rwxr-xr-xconf.py13332logplain
-rw-r--r--coq-cmdindex.rst79logplain
-rw-r--r--coq-exnindex.rst98logplain
-rw-r--r--coq-optindex.rst78logplain
-rw-r--r--coq-tacindex.rst70logplain
-rw-r--r--coqdoc.css6650logplain
-rw-r--r--credits.rst69796logplain
-rw-r--r--genindex.rst47logplain
-rw-r--r--index.rst1846logplain
-rw-r--r--introduction.rst5997logplain
d---------language235logplain
d---------practical-tools123logplain
-rw-r--r--preamble.rst3617logplain
d---------proof-engine284logplain
-rw-r--r--replaces.rst3742logplain
d---------user-extensions94logplain
-rw-r--r--zebibliography.rst99logplain