coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	Fix #5182: "Arguments names must be distinct." is bogus and underinformative	Maxime Dénès	2016-11-07
*	Add missing dot to impargs error message.	Maxime Dénès	2016-10-27
*	Complete overhaul of the Arguments vernacular.	Maxime Dénès	2016-10-27
*	Ignore file names in warning emitted by test-suite/output/* (#5111)	Enrico Tassi	2016-09-30
*	Arguments: cleanup + detect discrepancy rename/implicit (#3753)	Enrico Tassi	2016-09-29
*	Not taking arguments given by name or position into account when	Hugo Herbelin	2016-06-16
*	Do not display the status of monomorphic constants unless in universe-polymor...	Guillaume Melquiond	2015-03-09
*	Fix testsuite with respect to the new formatting of Fail messages.	Guillaume Melquiond	2015-03-05
*	Adapting output/Arguments_renaming continued.	Hugo Herbelin	2014-10-03
*	Adapting output/Arguments_renaming.out after fixing printing of	Hugo Herbelin	2014-10-02
*	Upgrading output tests.	Hugo Herbelin	2014-08-12
*	Fixing output test-suite: since universe polymorphism, the Print command	Pierre-Marie Pédrot	2014-05-08
*	Fix output test-suite 'simpl tactic' -> 'reduction tactics'	Pierre Boutillier	2014-02-28
*	test-suite fixup	pboutill	2013-11-03
*	better error message for unexpected renaming (closes #2987)	gareuselesinge	2013-07-29
*	Noise for nothing	pboutill	2012-03-02
*	Arguments: check rename even if no implicit is specified	gareuselesinge	2011-12-19
*	Command Arguments: standardizing format of error messages and American spelling.	herbelin	2011-12-17
*	Minor fixes to Arguments	gareuselesinge	2011-12-06
*	Renamig support added to "Arguments"	gareuselesinge	2011-11-21