aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/06-ssreflect
AgeCommit message (Expand)Author
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-03-01 23:44:13 +0000