aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/introduction.rst
Commit message (Expand)AuthorAge
* [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
* Remove empty reference to the current version of Coq.Gravatar Théo Zimmermann2018-04-11
* [Sphinx] Add introductionGravatar Maxime Dénès2018-03-13
* [Sphinx] Move introduction to new infrastructureGravatar Maxime Dénès2018-03-13