aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/06-ssreflect
AgeCommit message (Expand)Author
2020-12-03[changelog] update markupEnrico Tassi
2020-12-03Changes for Coq 8.13Matthieu Sozeau
2020-12-01Merge PR #13490: [ssr] Backport ssrbool from MathComp 1.12.0coqbot-app[bot]
2020-11-29Backport ssrbool lemmas from MathComp 1.12.0Kazuhiko Sakaguchi
2020-11-25Testing {in _, _} and {pred _} from ssrboolCyril Cohen
2020-11-24Fixing [dup] and [swap]Cyril Cohen
2020-11-06Update doc/changelog/06-ssreflect/13317-ssr_dup_swap_apply_ipat.rstCyril Cohen
2020-11-06Intro pattern extensions for dup, swap and applyCyril Cohen
2020-11-05Changelog for 8.12.1.Théo Zimmermann
2020-09-10Update doc/changelog/06-ssreflect/12857-changelog-for-12857.rstEnrico Tassi
2020-09-09changelog entry for 12857Enrico Tassi
2020-07-23[changelog] Latest changes backported to 8.12 branch.Emilio Jesus Gallego Arias
2020-07-17Add a changelog.Pierre-Marie Pédrot
2020-05-27Release notes for 8.12.Théo Zimmermann
2020-05-15Changelog entries for #8855.Théo Zimmermann
2019-12-02Move unreleased changelog to new 8.11 section.Théo Zimmermann
2019-11-28[changelog] Add types to changelog entries.Théo Zimmermann
2019-11-21Taking @Zimmi48's comment into accountCyril Cohen
2019-11-19added changelog entryCyril Cohen
2019-11-01Merge PR #10022: [ssr] Generalize tactics under and over to any (Reflexive) r...Enrico Tassi
2019-11-01[ssr] Refactor/Extend of under to support more relationsErik Martin-Dorel
2019-10-22Update doc/changelog/06-ssreflect/10932-void-type-ssr.rst Arthur Azevedo de Amorim
2019-10-22Update changelog.Arthur Azevedo de Amorim
2019-10-21docs(changelog): Address @gares' commentErik Martin-Dorel
2019-06-16Changelog for 8.10+beta2.Théo Zimmermann
2019-06-07Update changelog for 103032 and 10305Enrico Tassi
2019-05-13Move last changelog entries for 8.10+beta1.Théo Zimmermann
2019-05-05Create categories in changelog.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:36:14 +0000