aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/03-notations
AgeCommit message (Expand)Author
2020-03-04Adding support for an "only parsing" modifier in "where"-based notations.Hugo Herbelin
2020-02-27Merge PR #11650: Set Printing ParensEmilio Jesus Gallego Arias
2020-02-24added changelogAbhishek Anand (optiplex7010@home)
2020-02-23Addressing a changelog comment from Théo Zimmermann.Hugo Herbelin
2020-02-23Update doc/changelog/03-notations/11120-master+refactoring-application-printi...Hugo Herbelin
2020-02-23Apply and generalize suggestions from Théo.Hugo Herbelin
2020-02-22Adding a changelog item.Hugo Herbelin
2020-02-21Adding changelog for #11590, fixing #9741.Hugo Herbelin
2020-02-19Adding change log for #10832.Hugo Herbelin
2020-02-16Adding change log.Hugo Herbelin
2020-02-13Merge PR #11441: Add explicit types to changelog entries that were still miss...Emilio Jesus Gallego Arias
2020-02-08Merge PR #11240: Add rew dependent NotationsHugo Herbelin
2020-01-22Add explicit types to changelog entries.Théo Zimmermann
2020-01-22Fix typo in changelog entry.Théo Zimmermann
2020-01-22Changelog for 8.11.0.Théo Zimmermann
2019-12-26Add rew dependent NotationsJason Gross
2019-12-20Fix handling of recursive notations with custom entriesMaxime Dénès
2019-12-10Fixing #10750 (anomaly of "Print Visibility" on only-printing notations).Hugo Herbelin
2019-12-03Update doc/changelog/03-notations/11172-master+coercion-notation-interleaved-...Hugo Herbelin
2019-12-03Printing: Interleaving search for notations and removal of coercions.Hugo Herbelin
2019-12-02Remove deprecated compat modifier of Notation / Infix commands.Théo Zimmermann
2019-12-02Move unreleased changelog to new 8.11 section.Théo Zimmermann
2019-11-29Merge PR #10931: Add types of changes to changelog entries.Emilio Jesus Gallego Arias
2019-11-28Release notes for Coq 8.10.2Vincent Laporte
2019-11-28[changelog] Add types to changelog entries.Théo Zimmermann
2019-11-27Correcting unintended changelog message for #11090 (coercion+notation regress...Hugo Herbelin
2019-11-21A refined version of #8890 which prevents #11033.Hugo Herbelin
2019-10-28Add support for Sorts in numeral notationsJason Gross
2019-10-28Fix typos.Théo Zimmermann
2019-10-28Add changelog for #10963.Théo Zimmermann
2019-07-04Fix miscellaneous mistakes in unreleased changelog entries.Théo Zimmermann
2019-06-06Update doc/changelog/03-notations/10180-deprecate-notations.rstMaxime Dénès
2019-06-06Update doc/changelog/03-notations/10180-deprecate-notations.rstMaxime Dénès
2019-06-06`deprecated` attribute support for notations and syntactic definitionsMaxime Dénès
2019-05-13Move last changelog entries for 8.10+beta1.Théo Zimmermann
2019-05-10Use Print Custom Grammar to inspect custom entriesJasper Hugunin
2019-05-05Create categories in changelog.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 13:06:48 +0000