Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add introduction and credits to the TOC. | 2018-06-17 | |
* | [doc] Disable smartquotes conversion | 2018-06-08 | |
* | [doc] Add a setting to warn about empty Coq objects | 2018-05-22 | |
* | [doc] Add a README to doc/sphinx/ | 2018-05-15 | |
* | [Sphinx] Add credits | 2018-03-15 | |
* | [Sphinx] Add introduction | 2018-03-13 | |
* | [Sphinx] Add "edit on github" | 2018-03-13 | |
* | [Sphinx] Update some metadata | 2018-03-13 | |
* | [Sphinx] Read version number from configure | 2018-03-13 | |
* | [Sphinx] Comment out metadata for unused backends | 2018-03-13 | |
* | [Sphinx] Remove information for .chm backend | 2018-03-13 | |
* | Integration of a sphinx-based documentation generator. | 2018-03-09 |