index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
conf.py
Age
Commit message (
Expand
)
Author
2018-09-20
[doc] Replace app.info (deprecated in Sphinx 8.0) with logger.info
Clément Pit-Claudel
2018-09-20
[doc] Skip unneeded copies in copy_formatspecific_files
Clément Pit-Claudel
2018-09-20
[doc] Remove frames around code snippets in the LateX build
Clément Pit-Claudel
2018-09-20
[doc] Change the name that appears on the first page of the PDF manual
Clément Pit-Claudel
2018-09-20
[doc] Fix some Sphinx LaTeX warnings and silence others
Clément Pit-Claudel
2018-09-20
[doc] Get rid of two Sphinx warnings
Clément Pit-Claudel
2018-09-20
[doc] Include the rst and LaTeX preambles automatically in all files
Clément Pit-Claudel
2018-09-20
[doc] Improve rendering of Coq objects in PDF output
Clément Pit-Claudel
2018-09-20
[doc] Create a separate zebibliography file for the LaTeX build
Clément Pit-Claudel
2018-09-20
[doc] Create a separate index file for the LaTeX build
Clément Pit-Claudel
2018-09-20
[doc] Adjust conf.py to allow LaTeX builds
Clément Pit-Claudel
2018-06-17
Add introduction and credits to the TOC.
Théo Zimmermann
2018-06-08
[doc] Disable smartquotes conversion
Clément Pit-Claudel
2018-05-22
[doc] Add a setting to warn about empty Coq objects
Clément Pit-Claudel
2018-05-15
[doc] Add a README to doc/sphinx/
Clément Pit-Claudel
2018-03-15
[Sphinx] Add credits
Maxime Dénès
2018-03-13
[Sphinx] Add introduction
Maxime Dénès
2018-03-13
[Sphinx] Add "edit on github"
Maxime Dénès
2018-03-13
[Sphinx] Update some metadata
Maxime Dénès
2018-03-13
[Sphinx] Read version number from configure
Maxime Dénès
2018-03-13
[Sphinx] Comment out metadata for unused backends
Maxime Dénès
2018-03-13
[Sphinx] Remove information for .chm backend
Maxime Dénès
2018-03-09
Integration of a sphinx-based documentation generator.
Maxime Dénès
