| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-20 | [doc] Create a separate zebibliography file for the LaTeX build | Clément Pit-Claudel | |
| `.. bibliography::` puts the bibliography on its own page with its own title in LaTeX, but includes it inline without a title in HTML [1], so we need to maintain two separate copies of zebibliography.rst [1] https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage.html#mismatch-between-output-of-html-and-latex-backends | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |