coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-04	Backtrack sur la mémoïsation de nf_evar.	aspiwack
2009-02-27	=?utf-8?q?Tentative=20d'optimisation=20(en=20temps)=20sur=20[nf=5Fevar]=20et=...	aspiwack
2008-11-23	first attempt to allow Function to deal with dependent pattern matching. This...	jforest
2008-10-26	adding an option Function_raw_tcc to Function	jforest
2008-07-18	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin
2008-04-12	Désactivation du dumping des notations quand funind appelle les	herbelin
2008-03-14	Backtrack wrong commit.	courtieu
2008-03-13	trying f	courtieu
2007-12-31	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-11-08	Prise en compte des notations "alias" dans la globalisation des coercions.	herbelin
2006-10-13	r9778@tannat: jforest \| 2006-10-13 11:36:37 +0200	jforest
2006-08-24	Amelioration des messages d'erreur de Fucntion	jforest
2006-08-11	Bug corrections in Function.	jforest
2006-07-18	Code cleaning in Function	jforest
2006-07-10	+functional inversion now takes the function to invert as an optional argument.	jforest
2006-07-04	- completely new version of "functional inversion" using inversion on	jforest
2006-06-29	bug correction	jforest
2006-04-10	+ Changing a little functional schemes types	jforest
2006-02-17	Julien:	bertot
2006-02-09	very minor bug correction and cleanning	bertot
2006-02-08	Julien:	bertot
2006-02-01	New version of functional induction / inversion. By Julien Forest,	coq