index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
README.md
Age
Commit message (
Expand
)
Author
2020-12-26
Set the locale in Docker so Python's default output encoding is utf-8
Jim Fehrle
2020-09-11
Minimal changes to make the refman compatible with Sphinx 3.
Théo Zimmermann
2020-06-05
Merge PR #12459: Document incompatibility with Sphinx 3.
Emilio Jesus Gallego Arias
2020-06-05
Document incompatibility with Sphinx 3.
Théo Zimmermann
2020-05-26
Fix #12280: do not use xindy to avoid build failures on some machines.
Théo Zimmermann
2020-05-18
Bump minimal versions of refman dependencies.
Théo Zimmermann
2020-03-19
[refman] Remove workaround for sphinx-doc/sphinx#4983
Clément Pit-Claudel
2020-02-13
[build] Consolidate stdlib's .v files under a single directory.
Emilio Jesus Gallego Arias
2019-12-13
[doc] [INSTALL] Port INSTALL to markdown format.
Emilio Jesus Gallego Arias
2019-02-09
Update link to refman and stdlib doc for master branch.
Théo Zimmermann
2018-12-26
[dune] Build refman with fatal warnings by default like in the Makefile build.
Théo Zimmermann
2018-09-25
Fix Sphinx manual targets.
Théo Zimmermann
2018-09-20
Define flags (binary-valued settings) and tables (settings that are sets)
Jim Fehrle
2018-09-20
Update minimum required dependency versions of Sphinx doc.
Théo Zimmermann
2018-09-20
[doc] Add sphinx-html, sphinx-latex, and sphinx-pdf targets
Clément Pit-Claudel
2018-09-03
[doc] Build ML API documentation artifact.
Emilio Jesus Gallego Arias
2018-08-29
Create SPHINXWARNERROR variable that controls whether the Sphinx
Jim Fehrle
2018-06-22
Clarify further doc/README.md following Jim's comments.
Théo Zimmermann
2018-06-22
Improve doc/README.md.
Théo Zimmermann
2018-06-22
Move INSTALL.doc into doc/README.md.
Théo Zimmermann
