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 (
Collapse
)
Author
2019-05-16
[refman] Introduce syntax for alternatives in notations
Clément Pit-Claudel
Closes GH-8482.
2019-02-18
[sphinx] Add abort and restart options to directive coqtop.
Théo Zimmermann
2019-01-23
Move and rewrite documentation for intro patterns that was under
Jim Fehrle
the intros tactic to its own subsection. Add grammar and examples.
2018-12-03
Closes #9118: single backticks are made equivalent to double backticks; try ↵
Théo Zimmermann
to fix all misuses.
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
As discussed in GH-7556.
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
Co-Authored-By: @Zimmi48
2018-05-15
[doc] Address feedback on doc writer guide
Clément Pit-Claudel
Co-Authored-By: @Zimmi48
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
The readme is auto-generated by combining introductory text with the docstrings in coqdomain.py.
