coq - The formal proof system

Age	Commit message (Expand)	Author
2020-08-25	The body of a let is considered to be "in context" if its type is present.	Hugo Herbelin
2020-02-17	Mini-improvements in when to skip coercions or explicitly print implicit args.	Hugo Herbelin
2017-10-19	Moving bug numbers to BZ# format in the test-suite.	Théo Zimmermann
2011-12-04	Fixing superflous newline in output of About when no parameter is renamed.	herbelin
2011-08-10	Fixing printing bug with last trailing non-maximally implicit	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
2003-10-10	* empty log message *	herbelin