coq - The formal proof system

Age	Commit message (Expand)	Author
2020-02-13	Arguments: removing the restriction to set an anonymous parameter implicit.	Hugo Herbelin
2020-02-04	Correct bug in non max local implicit arguments	SimonBoulier
2020-02-04	Add syntax for non maximally inserted implicit arguments	SimonBoulier
2019-12-04	Manual implicit arguments: more robustness tests.	Hugo Herbelin
2018-03-30	Change Implicit Arguments to Arguments in test-suite	Jasper Hugunin
2012-06-12	Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files.	ppedrot
2011-12-18	Fixed a Not_found bug when declaring in a section some implicit	herbelin
2011-02-08	Correct handling of existential variables when multiple different	msozeau
2010-12-03	Fixing bug using explictly declared implicit arguments in inductive arities.	herbelin
2010-10-05	Export definition of type implicits_list for contribs + fixed a	herbelin
2010-10-04	Fixing bugs in previous commits about implicit arguments:	herbelin
2010-10-03	Added multiple implicit arguments rules per name.	herbelin
2009-10-29	Revision 12439 continued, printing part (notations to names behave	herbelin
2009-10-26	Local/Global revision 12418 continued	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2007-05-16	Correction bug calcul des implicites en présence d'evars dans les types	herbelin
2006-09-01	Extension et réorganisation de l'interprétation des (co-)points fixes	herbelin
2005-12-21	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2004-03-12	Corrections	herbelin
2004-02-28	Exemple de Frederic	herbelin
2003-11-13	Niveau V8	herbelin
2003-11-13	Fermeture de la section maintenant necessaire	herbelin
2001-12-21	Ajout d'un exemple de Christine	herbelin
2001-12-13	* empty log message *	herbelin