index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
addendum
/
type-classes.rst
Age
Commit message (
Expand
)
Author
2018-09-20
Rewrite "Flags, Options and Tables" section.
Jim Fehrle
2018-09-20
[doc] Include the rst and LaTeX preambles automatically in all files
Clément Pit-Claudel
2018-08-31
Fixed the seealso directive in a few places.
Zeimer
2018-08-31
Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...
Zeimer
2018-08-01
Improved grammar and spelling in chapters 'Type Classes', 'Omega' and 'Microm...
Zeimer
2018-06-08
Existing Class noop when already a class + warning.
Gaëtan Gilbert
2018-05-05
[sphinx] Improve typeclass chapter.
Théo Zimmermann
2018-05-05
Clean-up around cmd documentation.
Théo Zimmermann
2018-04-16
[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-14
[Sphinx] Fix all remaining warnings.
Maxime Dénès
2018-04-14
[sphinx] Fix many warnings.
Théo Zimmermann
2018-04-11
[sphinx] Remove migration artefacts.
Théo Zimmermann
2018-03-26
[doc] Port Chapter 20 Type Classes to Sphinx
Matthieu Sozeau
2018-03-26
Move Classes.tex to type-classes.rst
Matthieu Sozeau