aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx
ModeNameSize
-rw-r--r--README.rst13489logplain
-rw-r--r--README.template.rst7178logplain
d---------_static408logplain
d---------addendum654logplain
-rw-r--r--biblio.bib13096logplain
-rwxr-xr-xconf.py13546logplain
-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.rst1788logplain
-rw-r--r--introduction.rst5927logplain
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