coq - The formal proof system

Age	Commit message (Expand)	Author
2006-03-25	r8708@thot: notin \| 2006-03-24 18:55:01 +0100	notin
2006-03-25	r8686@thot: notin \| 2006-03-20 19:29:09 +0100	notin
2006-03-24	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-23	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-22	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-21	+ 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-20	Adding "New Functional Scheme"	jforest
2006-03-18	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-17	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-16	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-15	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-14	+ 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-13	Update of Subtac contrib. Add {wf n R} as an alternative to {struct n}.	msozeau
2006-03-12	-Debugging multiple induction, a bug appeared when having function	courtieu
2006-03-10	MAJ	herbelin
2006-03-10	cleaning	jforest
2006-03-10	Ajout Tutorial on recursive types	herbelin
2006-03-08	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-07	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-03	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