coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-20	Add preliminary support for notations with large class (non-recursive) binders.	Hugo Herbelin
2020-10-08	Dropping the misleading int argument of Pp.h.	Hugo Herbelin
2020-07-03	Fix #11121: Simultaneous definition of term and notation in custom grammar	Maxime Dénès
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-23	Cancelling precedences in Set Printing Parentheses only at border of notations.	Hugo Herbelin
2020-02-22	Merge PR #11635: Cleanup around the tolerability structure	Emilio Jesus Gallego Arias
2020-02-22	Simplification of type unparsing (index of variable in UnpMetaVar is unused).	Hugo Herbelin
2020-02-22	Making structure of type "tolerability" and related clearer.	Hugo Herbelin
2020-02-21	Notations: Avoiding computing parsing rule when in onlyprinting mode.	Hugo Herbelin
2020-02-19	Addressing #6082 and #7766 (overriding format of notation).	Hugo Herbelin
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-07-29	Adding support for custom entries in notations.	Hugo Herbelin
2018-05-31	[notations] Split interpretation and parsing of notations	Emilio Jesus Gallego Arias