aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/introduction.rst
AgeCommit message (Expand)Author
2018-07-12Fixed typos, wording and grammar errors in the Preamble of the Reference Manu...Zeimer
2018-06-26Merge PR #7851: Modernize the introduction of the reference manual.Maxime Dénès
2018-06-24Merge PR #7784: Remove Tutorials from a few other places following #7466.Maxime Dénès
2018-06-20Mention Company-Coq as well.Théo Zimmermann
2018-06-20Add a good reference for Proof-General as suggested by Clément.Théo Zimmermann
2018-06-20Modernize the introduction of the reference manual.Théo Zimmermann
2018-06-17Remove Tutorial from Additional documentation in refman intro.Théo Zimmermann
2018-06-17Add introduction and credits to the TOC.Théo Zimmermann
2018-05-10Suggest going to /documentation to see a list of tutorials.Théo Zimmermann
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-04-11Remove empty reference to the current version of Coq.Théo Zimmermann
2018-03-13[Sphinx] Add introductionMaxime Dénès
2018-03-13[Sphinx] Move introduction to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 20:43:57 +0000