coq - The formal proof system

Age	Commit message (Expand)	Author
2020-08-25	Propagate in-context information for extra arguments of notations too.	Hugo Herbelin
2020-02-22	New parsing/printing pattern/terms imp/scopes tests summarizing last changes.	Hugo Herbelin
2020-02-22	Propagate implicit arguments in all notations for partial applications.	Hugo Herbelin
2020-02-22	Deactivate implicit arguments in printing notations bound to "@f".	Hugo Herbelin
2020-02-22	Fixing printing of notations bound to an expression of the form "@f".	Hugo Herbelin
2020-02-22	Fixing a notation printing bug (missing a @ to reflect absence of imp. args).	Hugo Herbelin
2020-02-22	Fixing anomaly from #11091 (incompatible printing with notation and imp. args).	Hugo Herbelin
2020-01-30	Printing tests for applied references combined with impl. args. and notations.	Hugo Herbelin