coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-05-14	Fixes #12322 (anomaly when printing "fun" binders with implicit types).	Hugo Herbelin
	A pattern-matching clause was missing in 5f314036e4d (PR #11261). The anomaly triggered in configurations like "fun (x:T) y => ..." (even in the absence of "Implicit Types").
2020-02-17	Take "Implicit Types" into account when printing terms.	Hugo Herbelin