aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx
ModeNameSize
-rw-r--r--README.rst13783logplain
-rw-r--r--README.template.rst7178logplain
d---------_static408logplain
d---------addendum654logplain
-rw-r--r--biblio.bib13689logplain
-rwxr-xr-xconf.py13459logplain
-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.rst69915logplain
-rw-r--r--genindex.rst47logplain
-rw-r--r--index.rst1997logplain
-rw-r--r--introduction.rst5551logplain
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