index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
language
/
gallina-extensions.rst
Commit message (
Expand
)
Author
Age
*
doc: Fix typesetting in Gallina extensions
Lysxia
2018-06-29
*
wrong sphinx syntax
Ambroise
2018-06-28
*
Update gallina-extensions.rst
Ambroise
2018-06-28
*
Documenting the syntax of mutual keywords.
Pierre-Marie Pédrot
2018-06-24
*
[sphinx] Finish clean-up of the Canonical Structure subsection.
Théo Zimmermann
2018-06-16
*
doc: Add "Print Canonical Projections" command to Command index
Anton Trunov
2018-06-16
*
Documenting the deprecation.
Pierre-Marie Pédrot
2018-06-04
*
Document Variant properly.
Théo Zimmermann
2018-05-27
*
Improve the section Terms of the Gallina chapter.
Théo Zimmermann
2018-05-26
*
[sphinx] Fix new warnings related to tacn, cmd, opt...
Théo Zimmermann
2018-05-09
*
Clean-up around cmd documentation.
Théo Zimmermann
2018-05-05
*
Fix error messages and make them consistent.
Théo Zimmermann
2018-05-05
*
Clean-up around options.
Théo Zimmermann
2018-05-05
*
Merge PR #7331: Fix a typo in the reference manual: <; -> <:
Maxime Dénès
2018-04-26
|
\
*
\
Merge PR #7181: Sphinx docs: clarify strict implicit arguments a bit
Maxime Dénès
2018-04-26
|
\
\
|
|
*
Fix a typo in the reference manual: <; -> <:
Kazuhiko Sakaguchi
2018-04-23
|
|
/
|
/
|
*
|
[Sphinx] Clean-up indices
Maxime Dénès
2018-04-16
*
|
[Sphinx] Fix a lot of references and description of options
Maxime Dénès
2018-04-16
*
|
[Sphinx] Fix all remaining warnings.
Maxime Dénès
2018-04-14
*
|
[sphinx] Fix many warnings.
Théo Zimmermann
2018-04-14
*
|
[sphinx] Fixes in chapter 2.
Théo Zimmermann
2018-04-11
|
*
Sphinx docs: clarify strict implicit arguments
Anton Trunov
2018-04-05
|
/
*
[Sphinx] Remove duplicate entry for command `Coercion`
Maxime Dénès
2018-03-29
*
[doc] Port Chapter 20 Type Classes to Sphinx
Matthieu Sozeau
2018-03-26
*
[Sphinx] Add chapter 2
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 2 to new infrastructure
Maxime Dénès
2018-03-15