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	In "About", print all arguments, even if it is trailing list of _.	Hugo Herbelin
2019-11-20	Combine similar arguments when printing Arguments command	Gaëtan Gilbert
2019-10-31	Fix output tests	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
2015-08-14	Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080	Jason Gross
2013-05-09	Updating some output tests in test-suite:	herbelin
2011-04-29	Typo in test InitSyntax.out	herbelin
2011-04-28	Fixed notation printing bug when curly brackets are involved (requests	herbelin
2007-07-02	Factorisation des paramètres dans l'affichage des inductifs	herbelin
2006-12-12	MAJ	herbelin
2006-05-28	Adaptation au passage de sig2 dans Type	herbelin
2005-12-21	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2004-12-09	MAJ avec les particularités de l'afficheur v7 de la V8	herbelin
2003-03-14	* empty log message *	barras
2003-03-04	MAJ	herbelin
2003-01-16	* empty log message *	herbelin
2002-08-21	Correction	coq
2001-10-17	Test syntaxe des constructions de l'état initial	herbelin