coq - The formal proof system

Age	Commit message (Expand)	Author
2020-08-28	In "About", print all arguments, even if it is trailing list of _.	Hugo Herbelin
2020-03-27	Helping issue #11659 by leaving only the Cast hack in the grammar.	Hugo Herbelin
2019-11-20	Combine similar arguments when printing Arguments command	Gaëtan Gilbert
2019-10-31	Fix output tests	Gaëtan Gilbert
2019-01-09	Stop [Print] from saying [is (not) universe polymorphic].	Gaëtan Gilbert
2018-12-17	Stop printing Monomorphic/Polymorphic in Print.	Gaëtan Gilbert
2018-11-02	Remove is_universe_polymorphism from printing	Gaëtan Gilbert
2018-02-20	Using name given by user to name a 'pat, if any.	Hugo Herbelin
2018-02-20	Moving the argument of CProdN/CLambdaN from binder_expr to local_binder_expr.	Hugo Herbelin
2017-03-23	A test checking for non-collision of name in irrefutable patterns.	Hugo Herbelin
2016-07-19	Some extra fixes in printing patterns in binders.	Hugo Herbelin
2016-07-19	Taking into account binding patterns when agglutinating sequences of binders.	Hugo Herbelin
2016-07-19	Fixing missing parentheses in printing of patterns in binders.	Hugo Herbelin
2016-06-27	Patterns in binders: printing tests	Arnaud Spiwack