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-08-25	The body of a let is considered to be "in context" if its type is present.	Hugo Herbelin
2020-08-19	Do not refresh the names of implicit arguments.	Jasper Hugunin
2020-02-21	Merge PR #11142: Slightly improving strategy about when to print coercion or ...	Emilio Jesus Gallego Arias
2020-02-17	Mini-improvements in when to skip coercions or explicitly print implicit args.	Hugo Herbelin
2019-12-08	When printing term together with its type, use info that term is in context.	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
2015-03-09	Do not display the status of monomorphic constants unless in universe-polymor...	Guillaume Melquiond
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
2011-08-10	Fixing printing bug with last trailing non-maximally implicit	herbelin
2007-10-05	Correction de quelques défauts d'affichage (notations sous "as" pour	herbelin
2007-05-06	Nouveaux changements autour des implicites (notamment suite à	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-10-10	* empty log message *	herbelin