coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	utilisation de la VM pour la normalisation finale de romega	letouzey	2006-03-24
*	Patch envoy\'e par Benjamin Gregoire, permettant de corriger	letouzey	2006-03-24
*	on ignore TAGS au niveau svn	letouzey	2006-03-23
*	correctifs de bug pour romega:	letouzey	2006-03-23
*	Correction d'un bug sur 'make doc' et modification des propriétés dans doc/	notin	2006-03-23
*	Subtac fixes, single fixpoint definitions are working again. Added a toggle o...	msozeau	2006-03-22
*	Made pretyping a functor over a coercion implementation. Pretyping.Default us...	msozeau	2006-03-22
*	- Correction bug calcul mind_consnrealargs, introduit à la révision	herbelin	2006-03-22
*	- Réintroduction d'un parseur de pattern (q_constr.ml4) à usage de	herbelin	2006-03-22
*	+ destruct now works as induction on multiple arguments :	jforest	2006-03-21
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8650 85f007b7-540e-04...	letouzey	2006-03-21
*	Adding "New Functional Scheme"	jforest	2006-03-20
*	Documentation	herbelin	2006-03-18
*	MAJ documentation en syntaxe v8	herbelin	2006-03-18
*	Bug BYTEFLAGS pour compilation bin/parser	herbelin	2006-03-18
*	Documentation mutual_inductive_body	herbelin	2006-03-18
*	Bug calcul consnrealargs + bug calcul occurrences non positives + modifs cosm...	herbelin	2006-03-18
*	MAJ debugging (et arrêt support version française)	herbelin	2006-03-17
*	Modification des propriétés (svn:executable)	notin	2006-03-17
*	ajout d'un debut de proprietes pour les FSetWeak	letouzey	2006-03-17
*	deux tags $ mal formes	letouzey	2006-03-16
*	propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...	letouzey	2006-03-16
*	afin que svn ignore les liens symb coqide et coqtop	letouzey	2006-03-16
*	Cleaning dead code	jforest	2006-03-16
*	utilisation de removeA dans FSetProperties	letouzey	2006-03-16
*	renommage NoRedun vers le plus joli NoDup	letouzey	2006-03-15
*	Typo	letouzey	2006-03-15
*	Typo	letouzey	2006-03-15
*	Ajout de fonctions sur les listes	notin	2006-03-15
*	Réparation de FSet (back to 8628)	notin	2006-03-15
*	encore un essai	letouzey	2006-03-15
*	reparation des $	letouzey	2006-03-15
*	Ajout de theories/FSets contenant la partie "light" de FSets et FMap:	letouzey	2006-03-15
*	+ Debugging and cleaning functional principle generation tactic	jforest	2006-03-14
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	r8636@thot: notin \| 2006-03-14 15:57:11 +0100	notin	2006-03-14
*	Update of Subtac contrib. Add {wf n R} as an alternative to {struct n}.	msozeau	2006-03-13
*	-Debugging multiple induction, a bug appeared when having function	courtieu	2006-03-12
*	MAJ	herbelin	2006-03-10
*	cleaning	jforest	2006-03-10
*	Ajout Tutorial on recursive types	herbelin	2006-03-10
*	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin	2006-03-08
*	r8620@thot: notin \| 2006-03-08 11:44:16 +0100	notin	2006-03-08
*	Coq did not compile in Ocaml 3.06 and 3.07 since Map.S did not contain is_emp...	jforest	2006-03-07
*	Modification des propriétés 'svn:ignore' pour correspondre aux .cvsignore	notin	2006-03-07
*	Liste des fichiers à ignorer lors du 'svn status'	herbelin	2006-03-03
*	Suppression de la coupure entre base et addendum (quitte à le remettre si de...	herbelin	2006-03-03
*	Inutile en svn	herbelin	2006-03-03
*	Propriété svn:ignore	herbelin	2006-03-03
*	Typo	herbelin	2006-03-03