Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-11-30 | |
|\| | | ||||
| * | | Update copyright on documentation cover. | Maxime Dénès | 2016-11-30 | |
| * | | Fix some documentation typos. | Guillaume Melquiond | 2016-11-24 | |
* | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-11-18 | |
|\| | | ||||
| | * | Add missing label. Fixes broken ref. | Théo Zimmermann | 2016-11-17 | |
| |/ | ||||
| * | Revert more of a477dc for good measure | Matthieu Sozeau | 2016-11-16 | |
| * | Revert part of a477dc, disallow_shelved | Matthieu Sozeau | 2016-11-15 | |
| * | Do not mention "none" in warnings doc, as it is there for compatibility. | Maxime Dénès | 2016-11-14 | |
| * | Update CHANGES and credits for 8.6beta1. | Maxime Dénès | 2016-11-10 | |
| * | Merge remote-tracking branch 'github/pr/348' into v8.6 | Maxime Dénès | 2016-11-08 | |
| |\ | ||||
| * | | Update documentation of Arguments after recent changes. | Maxime Dénès | 2016-11-08 | |
| | * | Rewording from Enrico | Matthieu Sozeau | 2016-11-08 | |
| | * | After Emilio's comment. | Matthieu Sozeau | 2016-11-07 | |
| * | | Merge remote-tracking branch 'github/pr/339' into v8.6 | Maxime Dénès | 2016-11-07 | |
| |\ \ | ||||
| | * | | Document two new variants of refine | Matthieu Sozeau | 2016-11-07 | |
| | | * | More accurate contributor list. | Matthieu Sozeau | 2016-11-07 | |
| | | * | Hugo and Maxime's 2nd pass of comments | Matthieu Sozeau | 2016-11-07 | |
| | | * | Hugo's comments | Matthieu Sozeau | 2016-11-06 | |
| | | * | Maxime's comments | Matthieu Sozeau | 2016-11-06 | |
| | | * | Fixes from Enrico's review | Matthieu Sozeau | 2016-11-06 | |
| | | * | Credits for 8.6 | Matthieu Sozeau | 2016-11-05 | |
| | | * | Minor fix in documentation | Matthieu Sozeau | 2016-11-05 | |
| | |/ | |/| | ||||
| * | | Merge remote-tracking branch 'github/pr/336' into v8.6 | Maxime Dénès | 2016-11-04 | |
| |\ \ | ||||
| * | | | Add documentation for [Set Warnings] and the -w option. | Cyprien Mangin | 2016-11-04 | |
| | | * | Do not shelve non-class subgoals but fail, it should | Matthieu Sozeau | 2016-11-03 | |
| | | * | typeclasses eauto Implem/doc of shelving strategy | Matthieu Sozeau | 2016-11-03 | |
| | | * | Lets Hints/Instances take an optional pattern | Matthieu Sozeau | 2016-11-03 | |
| | | * | Document options of typeclasses (eauto) | Matthieu Sozeau | 2016-11-03 | |
| | | * | Documenting changes in typeclasses | Matthieu Sozeau | 2016-10-29 | |
| | |/ | |/| | ||||
| | * | Remove v62 from the refman. | Théo Zimmermann | 2016-10-25 | |
* | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-24 | |
|\| | | ||||
| * | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-10-24 | |
| |\ \ | | |/ | |/| | ||||
| | * | Documenting Hint Resolve -> and <- variants. | Théo Zimmermann | 2016-10-19 | |
| | * | Making the doc of auto hints more precise. | Théo Zimmermann | 2016-10-19 | |
| | * | Extending the doc with a general summary of auto variants. | Théo Zimmermann | 2016-10-18 | |
| | * | Document info_auto. | Théo Zimmermann | 2016-10-18 | |
| | * | Improve the documentation of eauto. | Théo Zimmermann | 2016-10-18 | |
* | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-05 | |
|\| | | ||||
| * | | fixing bug 4609: document an option governing the generation of equalities | Yves Bertot | 2016-10-03 | |
* | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-10-02 | |
|\| | | ||||
| * | | Merge remote-tracking branch 'github/pr/280' into v8.6 | Maxime Dénès | 2016-09-30 | |
| |\ \ | ||||
| * \ \ | Merge branch 'v8.5' into v8.6 | Maxime Dénès | 2016-09-30 | |
| |\ \ \ | | | |/ | | |/| | ||||
| * | | | Merge remote-tracking branch 'github/pr/232' into v8.6 | Maxime Dénès | 2016-09-28 | |
| |\ \ \ | ||||
| | | * | | Fixing #4887 (confusion between using and with in documentation of firstorder). | Hugo Herbelin | 2016-09-27 | |
* | | | | | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2016-09-23 | |
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot | 2016-09-23 | |
| |\ \ \ \ | | | |/ / | | |/| | | ||||
| | * | | | Replace { command ; } with ( command ) | Erik Martin-Dorel | 2016-09-19 | |
| | * | | | Fix typos in RefMan-uti.tex. | Erik Martin-Dorel | 2016-09-19 | |
| | | | * | Doc: [Reset Ltac Profile] is not synchronized | Jason Gross | 2016-09-16 | |
| | |_|/ | |/| | | ||||
| * | | | Extending "contradiction" so that it recognizes statements such as "~x=x" or ... | Hugo Herbelin | 2016-09-15 |