coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Abandon gestion des extensions de syntaxe de la v7 et du traducteur dans meta...	herbelin	2005-12-20
*	maj	coq	2005-12-19
*	Suppression de la mise en boite automatique si format utilisateur	herbelin	2005-12-19
*	maj	coq	2005-12-18
*	L'option -no-vm laisse la place à une option -vm	herbelin	2005-12-18
*	maj	coq	2005-12-17
*	maj	coq	2005-12-17
*	Création d'un type d'erreur RecursionSchemeError distinct de InductiveError ...	herbelin	2005-12-17
*	Création d'un type d'erreur RecursionSchemeError distinct de InductiveError ...	herbelin	2005-12-17
*	Orthographe de 'instantiate'	herbelin	2005-12-17
*	maj	coq	2005-12-16
*	amelioration de l'extraction haskell: affichage du type des fonctions, et sup...	letouzey	2005-12-16
*	multiples ameliorations de l'extraction scheme:	letouzey	2005-12-16
*	maj	coq	2005-12-15
*	correction d'un bug dans le make install	narboux	2005-12-15
*	maj	coq	2005-12-14
*	changing the name of drgeocaml into GeoProof	narboux	2005-12-13
*	More exception handling in functional scheme.	coq	2005-12-08
*	j'avais oublie ces deux fichiers.	gregoire	2005-12-06
*	correction bug 881.	gregoire	2005-12-05
*	changement d'egalite pour le named_context_val	gregoire	2005-12-05
*	Changement des named_context	gregoire	2005-12-02
*	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