index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
introduction.rst
Commit message (
Expand
)
Author
Age
*
Fixed typos, wording and grammar errors in the Preamble of the Reference Manu...
Zeimer
2018-07-12
*
Merge PR #7851: Modernize the introduction of the reference manual.
Maxime Dénès
2018-06-26
|
\
*
\
Merge PR #7784: Remove Tutorials from a few other places following #7466.
Maxime Dénès
2018-06-24
|
\
\
|
|
*
Mention Company-Coq as well.
Théo Zimmermann
2018-06-20
|
|
*
Add a good reference for Proof-General as suggested by Clément.
Théo Zimmermann
2018-06-20
|
|
*
Modernize the introduction of the reference manual.
Théo Zimmermann
2018-06-20
|
*
|
Remove Tutorial from Additional documentation in refman intro.
Théo Zimmermann
2018-06-17
|
|
/
*
/
Add introduction and credits to the TOC.
Théo Zimmermann
2018-06-17
|
/
*
Suggest going to /documentation to see a list of tutorials.
Théo Zimmermann
2018-05-10
*
[Sphinx] Fix all remaining warnings.
Maxime Dénès
2018-04-14
*
Remove empty reference to the current version of Coq.
Théo Zimmermann
2018-04-11
*
[Sphinx] Add introduction
Maxime Dénès
2018-03-13
*
[Sphinx] Move introduction to new infrastructure
Maxime Dénès
2018-03-13