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-18	Change some ouput tests due to the printing of implicits	SimonBoulier
2019-11-20	Combine similar arguments when printing Arguments command	Gaëtan Gilbert
2019-10-31	restore red behaviour printing	Gaëtan Gilbert
2019-10-31	Fix output tests	Gaëtan Gilbert
2019-05-10	Remove various circumvolutions from reduction behaviors	Maxime Dénès
2018-11-02	Remove is_universe_polymorphism from printing	Gaëtan Gilbert
2018-10-04	Test-suite: avoid explicit references to “Top”	Vincent Laporte
2017-03-21	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias
2016-10-27	Complete overhaul of the Arguments vernacular.	Maxime Dénès
2015-03-09	Do not display the status of monomorphic constants unless in universe-polymor...	Guillaume Melquiond
2015-03-05	Fix testsuite with respect to the new formatting of Fail messages.	Guillaume Melquiond
2014-08-25	Grammar: "avoiding to" isn't proper, either	Jason Gross
2014-08-12	Upgrading output tests.	Hugo Herbelin
2014-06-04	cbn understand ! Arguments directive	Pierre Boutillier
2014-05-08	Fixing output test-suite: since universe polymorphism, the Print command	Pierre-Marie Pédrot
2014-02-28	Fix output test-suite 'simpl tactic' -> 'reduction tactics'	Pierre Boutillier
2012-03-02	Noise for nothing	pboutill
2012-02-14	Arguments supports extra notation scopes	gareuselesinge
2011-11-21	New Arguments vernacular	gareuselesinge