coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	amelioration de la generation des unsafeCoerce	letouzey	2005-12-01
*	changement parametres inductifs dans les theories	mohring	2005-11-30
*	evite certaines eta-expansions cavalieres	letouzey	2005-11-30
*	correctif pour que type t = M.t contienne bien son M.	letouzey	2005-11-29
*	maj	coq	2005-11-29
*	maj	coq	2005-11-28
*	maj	coq	2005-11-28
*	parametres inductifs	mohring	2005-11-28
*	maj	coq	2005-11-27
*	maj	coq	2005-11-26
*	Fonctionnalisation du cache 'compunit' pour réparer correctement le bug #103...	herbelin	2005-11-26
*	coqide send a ack to tell drgeocaml it is received	narboux	2005-11-26
*	maj	coq	2005-11-25
*	* empty log message *	barras	2005-11-25
*	* empty log message *	barras	2005-11-25
*	maj	coq	2005-11-24
*	maj	coq	2005-11-23
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	bug #909: Top n'est cree que si le contexte est vide	barras	2005-11-23
*	maj	coq	2005-11-22
*	maj	coq	2005-11-21
*	Correction bug dé-globalisation syntactic def (cf coq-club 20/11/05)	herbelin	2005-11-21
*	maj	coq	2005-11-20
*	maj	coq	2005-11-19
*	Correction de la correction du test sur le nombre de parametres d'une projection	herbelin	2005-11-19
*	maj	coq	2005-11-18
*	maj	coq	2005-11-18
*	petites corrections + contournement bug projections	barras	2005-11-18
*	* empty log message *	barras	2005-11-18
*	commited new ring	barras	2005-11-18
*	commited first version of new ring	barras	2005-11-18
*	Détection de la version de lablgtk (type GText.view)	herbelin	2005-11-18
*	Détection de la version de lablgtk (type GText.view)	herbelin	2005-11-18
*	maj	coq	2005-11-17
*	maj	coq	2005-11-17
*	implement support for drgeocaml	narboux	2005-11-17
*	merci les warnings de 3.09 ...	letouzey	2005-11-17
*	A la demande de Julien Forest	letouzey	2005-11-17
*	maj	coq	2005-11-16
*	maj	coq	2005-11-15
*	maj	coq	2005-11-14
*	avoids warnings about unused variables	bertot	2005-11-14
*	adds the the case VernacShow(ShowMatch _) in the pattern-matching construct,	bertot	2005-11-14
*	maj	coq	2005-11-13
*	maj	coq	2005-11-12
*	maj	coq	2005-11-11
*	maj	coq	2005-11-10
*	windows install	narboux	2005-11-10
*	ajout de l'entree dans le menu	narboux	2005-11-10
*	maj	coq	2005-11-09