aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman
Commit message (Expand)AuthorAge
* Remove LaTeX refman, now that migration to Sphinx is completeGravatar Maxime Dénès2018-04-16
* [Sphinx] Move chapter 9 to new infrastructure.Gravatar Théo Zimmermann2018-04-14
* [Sphinx] Move chapter 1 to new infrastructureGravatar Maxime Dénès2018-04-13
* [Sphinx] Move chapter 29 to new infrastructureGravatar Maxime Dénès2018-04-11
* [Sphinx] Move chapter 6 to new infrastructureGravatar Maxime Dénès2018-04-10
* [Sphinx] Add chapter 15Gravatar Laurent Théry2018-04-10
* [Sphinx] Move chapter 15 to new infrastructureGravatar Maxime Dénès2018-04-10
* [Sphinx] Move chapter 7 to new infrastructureGravatar Maxime Dénès2018-04-09
* [Sphinx] Move chapter 30 to new infrastructureGravatar Maxime Dénès2018-04-05
* [Sphinx] Move chapter 28 to new infrastructureGravatar Maxime Dénès2018-04-04
* [Sphinx] Move chapter 27 to new infrastructureGravatar Maxime Dénès2018-03-30
* [Sphinx] Move chapter 25 to new infrastructureGravatar Maxime Dénès2018-03-30
* [Sphinx] Move chapter 26 to new infrastructureGravatar Maxime Dénès2018-03-29
* [Sphinx] Move chapter 24 to new infrastructureGravatar Maxime Dénès2018-03-29
* [Sphinx] Move chapter 23 to new infrastructureGravatar Maxime Dénès2018-03-29
* [Sphinx] Move chapter 18 to new infrastructureGravatar Maxime Dénès2018-03-29
* Move Classes.tex to type-classes.rstGravatar Matthieu Sozeau2018-03-26
* Merge branch 'master' into sphinx-doc-chapter-22Gravatar Guillaume Melquiond2018-03-22
|\
| * Merge branch 'master' into sphinx-doc-chapter-21Gravatar Guillaume Melquiond2018-03-22
| |\
| | * Merge branch 'master' into sphinx-doc-chapter-19Gravatar Guillaume Melquiond2018-03-22
| | |\
* | | | [Sphinx] Move chapter 22 to new infrastructureGravatar Maxime Dénès2018-03-22
| * | | [Sphinx] Move chapter 21 to new infrastructureGravatar Maxime Dénès2018-03-22
|/ / /
| * / [Sphinx] Move chapter 19 to new infrastructureGravatar Maxime Dénès2018-03-22
|/ /
| * [Sphinx] Move chapter 17 to new infrastructureGravatar Maxime Dénès2018-03-22
|/
* [Sphinx] Add chapter 11Gravatar Maxime Dénès2018-03-16
* [Sphinx] Move chapter 3 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 16 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 14 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 13 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 12 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 10 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 8 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 5 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 4 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 2 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move credits to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Move introduction to new infrastructureGravatar Maxime Dénès2018-03-13
* Merge PR #6775: Allow using cumulativity without forcing strict constraints.Gravatar Maxime Dénès2018-03-09
|\
| * Documentation for Cumulativity Weak Constraints.Gravatar Gaëtan Gilbert2018-03-09
* | Merge PR #6480: Allow Prop as source for coercionsGravatar Maxime Dénès2018-03-09
|\ \ | |/ |/|
* | Merge PR #6895: [compat] Remove "Refolding Reduction" option.Gravatar Maxime Dénès2018-03-09
|\ \
* \ \ Merge PR #6820: Tacticals assert_fails and assert_succeedsGravatar Maxime Dénès2018-03-09
|\ \ \
| | | * doc and changes for coercion from prop/typeGravatar charguer2018-03-09
| |_|/ |/| |
| | * [compat] Remove "Refolding Reduction" option.Gravatar Emilio Jesus Gallego Arias2018-03-08
| |/ |/|
* | Merge PR #6909: Deprecate Focus and UnfocusGravatar Maxime Dénès2018-03-08
|\ \
* \ \ Merge PR #6582: Mangle auto-generated namesGravatar Maxime Dénès2018-03-08
|\ \ \
* | | | [compat] Remove "Shrink Abstract"Gravatar Emilio Jesus Gallego Arias2018-03-06
* | | | Merge PR #6896: [compat] Remove NOOP deprecated options.Gravatar Maxime Dénès2018-03-06
|\ \ \ \
* \ \ \ \ Merge PR #6824: Remove deprecated options related to typeclasses.Gravatar Maxime Dénès2018-03-06
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6898: [compat] Remove "Intuition Iff Unfolding"Gravatar Maxime Dénès2018-03-06
|\ \ \ \ \ \