coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-13	Make sure "Print Module" write a dot at the end of inductive definitions.	Guillaume Melquiond
2020-08-28	Where there are several lists of implicit arguments, don't pretend names matter.	Hugo Herbelin
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	Fix output tests	Gaëtan Gilbert
2019-08-26	Make kernel parametric on the lowest universe and fix #9294	Matthieu Sozeau
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-10-04	Test-suite: avoid explicit references to “Top”	Vincent Laporte
2018-10-02	Update the -compat flags	Jason Gross
2016-06-29	Fix issues in test-suite revealed by warnings.	Maxime Dénès
2015-08-14	Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080	Jason Gross
2015-03-09	Do not display the status of monomorphic constants unless in universe-polymor...	Guillaume Melquiond
2014-12-15	Adapted test file for About.	Pierre Courtieu
2014-08-12	Upgrading output tests.	Hugo Herbelin
2014-05-08	Fixing output test-suite: since universe polymorphism, the Print command	Pierre-Marie Pédrot
2013-09-03	Fixing some tests from the test-suite.	ppedrot
2013-05-09	Updating some output tests in test-suite:	herbelin
2012-01-31	Fix consequence of pp bugfix in testsuite	pboutill
2011-12-04	Fixing superflous newline in output of About when no parameter is renamed.	herbelin
2011-11-21	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge
2011-07-26	or_introl is now too complicated for basic tests of test-suite/output/PrintIn...	pboutill
2011-02-21	Some fixes of the test-suite scripts	letouzey
2010-10-03	Added multiple implicit arguments rules per name.	herbelin
2010-10-03	Making display of various informations about constants more modular:	herbelin