index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
README.template.rst
Age
Commit message (
Expand
)
Author
2018-09-20
[doc] Add another common mistake to the documentation-writing guide
Clément Pit-Claudel
2018-09-20
[doc] Add more common mistakes to the documentation-writing guide
Clément Pit-Claudel
2018-09-20
[doc] Add a warning about overusing the `coqtop` directive
Clément Pit-Claudel
2018-09-20
[doc] Include the rst and LaTeX preambles automatically in all files
Clément Pit-Claudel
2018-07-25
[sphinx] Add a way of skipping names in the indexes.
Théo Zimmermann
2018-05-25
[doc] Allow more than one signature and name per Sphinx object
Clément Pit-Claudel
2018-05-22
[doc] Document the new report_undocumented_coq_objects setting
Clément Pit-Claudel
2018-05-22
[doc] Add a list of common mistakes
Clément Pit-Claudel
2018-05-15
[doc] More feedback on doc writer guide
Clément Pit-Claudel
2018-05-15
[doc] Address feedback on doc writer guide
Clément Pit-Claudel
2018-05-15
[doc] Clarify a comment in the README
Clément Pit-Claudel
2018-05-15
[doc] Add an ELisp snippet to insert Sphinx roles and quotes
Clément Pit-Claudel
2018-05-15
[doc] Add a README to doc/sphinx/
Clément Pit-Claudel
