aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/03-notations
AgeCommit message (Expand)Author
2021-04-07[abbreviation] allow the user to set arguments scopeEnrico Tassi
2021-03-10Merge PR #13840: [notation] option to fine tune printing of literalscoqbot-app[bot]
2021-03-04[doc] changelog entryEnrico Tassi
2021-02-27Add changelogPierre Roux
2020-12-11Merge PR #13519: Better primitive type support in custom string and numeral n...coqbot-app[bot]
2020-12-04Better primitive type support in custom string and numeral notations.Fabian Kunze
2020-12-03[changelog] update markupEnrico Tassi
2020-12-03Changes for Coq 8.13Matthieu Sozeau
2020-11-25Changelog for #13415Gaëtan Gilbert
2020-11-22Renaming "ident" into "name" in grammar entries, to prevent confusions.Hugo Herbelin
2020-11-20Add changelog for #13265.Hugo Herbelin
2020-11-20Merge PR #12965: Fixes #9569: in notations with binders, prevent collisions b...coqbot-app[bot]
2020-11-20Update doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars...Hugo Herbelin
2020-11-19Merge PR #12984: [printing] Order notations by matching precision first, and ...coqbot-app[bot]
2020-11-18Adding change log for #12765.Hugo Herbelin
2020-11-17Adding change log for #12984.Hugo Herbelin
2020-11-17Add changelog for #12986.Hugo Herbelin
2020-11-16Add change log for #12965.Hugo Herbelin
2020-11-15Adding change log for #12685.Hugo Herbelin
2020-11-05Added change log for #12099.Hugo Herbelin
2020-11-05Changelog for 8.12.1.Théo Zimmermann
2020-11-05Merge PR #12218: Numeral notations for non inductive typescoqbot-app[bot]
2020-11-05Add changelogPierre Roux
2020-10-19Adding change log for #13092.Hugo Herbelin
2020-10-10Adding change log for #12950.Hugo Herbelin
2020-09-28Merge PR #12946: Fixes part 1 of #12908: undetected collision involving a lon...coqbot-app[bot]
2020-09-23Merge PR #13073: A temporary fix of #13018 and #12775 for branch 8.12 (bis)coqbot-app[bot]
2020-09-22Merge PR #13067: Setting default value for Display Parentheses off in CoqIDEcoqbot-app[bot]
2020-09-22Merge PR #12960: Fixes #9403 and #10803: missing flattening of nested applica...coqbot-app[bot]
2020-09-22Adding change log for #12794 and #13067.Hugo Herbelin
2020-09-15Adding change log for #13026.Hugo Herbelin
2020-09-11Rename Numeral Notation command to Number NotationPierre Roux
2020-09-02Adding change log for #12960.Hugo Herbelin
2020-09-02Adding change log for #12946.Hugo Herbelin
2020-07-23[changelog] Latest changes backported to 8.12 branch.Emilio Jesus Gallego Arias
2020-07-12Adding change log.Hugo Herbelin
2020-07-03Fix #11121: Simultaneous definition of term and notation in custom grammarMaxime Dénès
2020-05-27Release notes for 8.12.Théo Zimmermann
2020-05-27Fix changelog for #11986.Théo Zimmermann
2020-05-19[primitive floats] Add low level hexadecimal printingPierre Roux
2020-05-15Merge PR #11948: Hexadecimal numeralsHugo Herbelin
2020-05-13Adding change log for #8808.Hugo Herbelin
2020-05-09[doc] Add hexadecimal numeralsPierre Roux
2020-05-02Fix #12159 (Numeral Notations do not play well with multiple scopes for the s...Pierre Roux
2020-04-26Convert syntax extensions chapter to prodnJim Fehrle
2020-04-03Adding changelog for 8.11.1.Pierre-Marie Pédrot
2020-03-29Merge PR #11859: Warn when non exactly parsing non floating-pointHugo Herbelin
2020-03-26Print a warning when parsing non floating-point values.Pierre Roux
2020-03-25Update changelogPierre Roux
2020-03-08Minor improvements to the unreleased changelog.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:08:18 +0000