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
Commit message (
Expand
)
Author
Age
*
Rewrote section 'Accessing the Type level' in the chapter 'The Coq library' o...
Zeimer
2018-07-19
*
Fixed some typos and grammar errors from section 'The language' of the Refere...
Zeimer
2018-07-19
*
Remove fourier plugin
Maxime Dénès
2018-07-17
*
Tactic deprecation machinery
Maxime Dénès
2018-07-12
*
Merge PR #7920: Generic syntax for attributes
Maxime Dénès
2018-07-09
|
\
*
|
doc: Fix markup in Calculus of Inductive Constructions
Fabian
2018-07-04
|
*
Describe attributes in the documentation.
Vincent Laporte
2018-07-03
|
/
*
Merge PR #7703: Add an option to force parameters to be uniform
Matthieu Sozeau
2018-07-02
|
\
*
\
Merge PR #7969: doc: typesetting and hyperlinks in Syntax Extensions
Théo Zimmermann
2018-07-02
|
\
\
|
|
*
Document option Uniform Inductive Parameters
Jasper Hugunin
2018-07-01
|
*
|
doc: typesetting and hyperlinks in Syntax Extensions
Lysxia
2018-06-30
|
|
/
*
/
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
*
Improve the last section of the Gallina chapter.
Théo Zimmermann
2018-05-28
*
Chapter 1 of the refman compiles without reporting any undocumented object.
Théo Zimmermann
2018-05-28
*
Improve sections on (Co)Fixpoint of the Gallina chapter.
Théo Zimmermann
2018-05-28
*
Improve subsection on co-inductive types of the Gallina chapter.
Théo Zimmermann
2018-05-27
*
Improve subsection on mutual inductive types of the Gallina chapter.
Théo Zimmermann
2018-05-27
*
Move 'new in Coq 8.1' subsection to an appropriate place.
Théo Zimmermann
2018-05-27
*
Document Variant properly.
Théo Zimmermann
2018-05-27
*
Improve inductive types subsection of the Gallina chapter.
Théo Zimmermann
2018-05-27
*
Improve subsection Definitions of the Gallina chapter.
Théo Zimmermann
2018-05-26
*
Improve subsection Assumptions of the Gallina chapter.
Théo Zimmermann
2018-05-26
*
Improve the section Terms of the Gallina chapter.
Théo Zimmermann
2018-05-26
*
[doc] Allow more than one signature and name per Sphinx object
Clément Pit-Claudel
2018-05-25
*
Document the new nested-proof error message.
Théo Zimmermann
2018-05-21
*
Document nested proofs and associated option.
Théo Zimmermann
2018-05-17
*
[doc] Address feedback on doc writer guide
Clément Pit-Claudel
2018-05-15
*
Remove duplicate entries for Proof, Qed, Defined, Admitted.
Théo Zimmermann
2018-05-14
*
[sphinx] Fix new warnings related to tacn, cmd, opt...
Théo Zimmermann
2018-05-09
*
[sphinx] Backport changes from #5979.
Théo Zimmermann
2018-05-05
*
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
*
[sphinx] Fix some references.
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] Add Chapter 1
Maxime Dénès
2018-04-13
*
|
[Sphinx] Move chapter 1 to new infrastructure
Maxime Dénès
2018-04-13
*
|
Merge PR #7222: [sphinx] Remove migration artefacts.
Maxime Dénès
2018-04-12
|
\
\
[next]