coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-20	Add changelog for #13265.	Hugo Herbelin
2020-11-20	Merge PR #12965: Fixes #9569: in notations with binders, prevent collisions b...	coqbot-app[bot]
2020-11-20	Update doc/changelog/03-notations/12965-master+fix9569-propagage-binding-vars...	Hugo Herbelin
2020-11-19	Merge PR #12984: [printing] Order notations by matching precision first, and ...	coqbot-app[bot]
2020-11-18	Adding change log for #12765.	Hugo Herbelin
2020-11-17	Adding change log for #12984.	Hugo Herbelin
2020-11-17	Add changelog for #12986.	Hugo Herbelin
2020-11-16	Add change log for #12965.	Hugo Herbelin
2020-11-15	Adding change log for #12685.	Hugo Herbelin
2020-11-05	Added change log for #12099.	Hugo Herbelin
2020-11-05	Changelog for 8.12.1.	Théo Zimmermann
2020-11-05	Merge PR #12218: Numeral notations for non inductive types	coqbot-app[bot]
2020-11-05	Add changelog	Pierre Roux
2020-10-19	Adding change log for #13092.	Hugo Herbelin
2020-10-10	Adding change log for #12950.	Hugo Herbelin
2020-09-28	Merge PR #12946: Fixes part 1 of #12908: undetected collision involving a lon...	coqbot-app[bot]
2020-09-23	Merge PR #13073: A temporary fix of #13018 and #12775 for branch 8.12 (bis)	coqbot-app[bot]
2020-09-22	Merge PR #13067: Setting default value for Display Parentheses off in CoqIDE	coqbot-app[bot]
2020-09-22	Merge PR #12960: Fixes #9403 and #10803: missing flattening of nested applica...	coqbot-app[bot]
2020-09-22	Adding change log for #12794 and #13067.	Hugo Herbelin
2020-09-15	Adding change log for #13026.	Hugo Herbelin
2020-09-11	Rename Numeral Notation command to Number Notation	Pierre Roux
2020-09-02	Adding change log for #12960.	Hugo Herbelin
2020-09-02	Adding change log for #12946.	Hugo Herbelin
2020-07-23	[changelog] Latest changes backported to 8.12 branch.	Emilio Jesus Gallego Arias
2020-07-12	Adding change log.	Hugo Herbelin
2020-07-03	Fix #11121: Simultaneous definition of term and notation in custom grammar	Maxime Dénès
2020-05-27	Release notes for 8.12.	Théo Zimmermann
2020-05-27	Fix changelog for #11986.	Théo Zimmermann
2020-05-19	[primitive floats] Add low level hexadecimal printing	Pierre Roux
2020-05-15	Merge PR #11948: Hexadecimal numerals	Hugo Herbelin
2020-05-13	Adding change log for #8808.	Hugo Herbelin
2020-05-09	[doc] Add hexadecimal numerals	Pierre Roux
2020-05-02	Fix #12159 (Numeral Notations do not play well with multiple scopes for the s...	Pierre Roux
2020-04-26	Convert syntax extensions chapter to prodn	Jim Fehrle
2020-04-03	Adding changelog for 8.11.1.	Pierre-Marie Pédrot
2020-03-29	Merge PR #11859: Warn when non exactly parsing non floating-point	Hugo Herbelin
2020-03-26	Print a warning when parsing non floating-point values.	Pierre Roux
2020-03-25	Update changelog	Pierre Roux
2020-03-08	Minor improvements to the unreleased changelog.	Théo Zimmermann
2020-03-04	Adding support for an "only parsing" modifier in "where"-based notations.	Hugo Herbelin
2020-02-27	Merge PR #11650: Set Printing Parens	Emilio Jesus Gallego Arias
2020-02-24	added changelog	Abhishek Anand (optiplex7010@home)
2020-02-23	Addressing a changelog comment from Théo Zimmermann.	Hugo Herbelin
2020-02-23	Update doc/changelog/03-notations/11120-master+refactoring-application-printi...	Hugo Herbelin
2020-02-23	Apply and generalize suggestions from Théo.	Hugo Herbelin
2020-02-22	Adding a changelog item.	Hugo Herbelin
2020-02-21	Adding changelog for #11590, fixing #9741.	Hugo Herbelin
2020-02-19	Adding change log for #10832.	Hugo Herbelin
2020-02-16	Adding change log.	Hugo Herbelin