coq - The formal proof system

Age	Commit message (Expand)	Author
2006-06-06	+ ameliorating the tactic "functional induction"	jforest
2006-06-05	Oh le joli bug dans le kernel:	letouzey
2006-06-05	Require FSets ne doit pas charger FSetToFiniteSet (qui utilise l'axiome d'ext...	letouzey
2006-06-05	nouveaux parametres	cpaulin
2006-06-04	MAJ svn:ignore coqc.opt et coqmktop.opt	herbelin
2006-06-04	Remplacement 'singleton' par 'unique' as a simple way to avoid a conflict wit...	herbelin
2006-06-04	Ajout exists! et restructuration/extension des fichiers sur la	herbelin
2006-06-04	Ajout exists! et restructuration/extension des fichiers sur la	herbelin
2006-06-02	debut de reparation du test d'extraction	letouzey
2006-06-01	Update Program/subtac documentation.	msozeau
2006-06-01	Fix some nasty bug with the evars-to-dependent sum encoding.	msozeau
2006-06-01	bug in alpha-conversion	jforest
2006-06-01	reparation bug #1128	letouzey
2006-05-31	Fusion if.v et If.v (MacOS X ne sait pas distinguer la casse)	herbelin
2006-05-31	Fusion destruct.v et Destruct.v (MacOS X ne sait pas distinguer la casse	herbelin
2006-05-31	ajout de QArith dans les theories standards	letouzey
2006-05-31	petits ajouts	letouzey
2006-05-31	Replacing the old version of "functional induction" with the new one.	jforest
2006-05-31	Colorisation dans Coqide	notin
2006-05-30	retour au comportement antérieur pour une application de foncteur:	letouzey
2006-05-30	Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme...	herbelin
2006-05-30	Correction bug #990 (LoadPath et option -R de coqide	notin
2006-05-30	* suite de la revision des wrappers Make	letouzey
2006-05-29	The "clean integration of subtac" patch.	msozeau
2006-05-29	Fix broken paths.	msozeau
2006-05-29	small changes	jforest
2006-05-29	Ajout d'alias pour prodT_rect et cie qui avaient Ã©tÃ© oublkÃiÃ©s	herbelin
2006-05-28	- Indtypes: en attente opinion CoRN, les occurrences de Type non explicites	herbelin
2006-05-28	Adaptation au passage de sig2 dans Type	herbelin
2006-05-28	Adaptation au passage de vector dans Type	herbelin
2006-05-28	Adaptation au passage de option dans Type	herbelin
2006-05-28	Ajout array_fold_map2Ã'	herbelin
2006-05-28	- Déplacement des types paramétriques prod, sum, option, identity,	herbelin
2006-05-26	Modification de la compilation de coqc et coqmktop pour éviter le problème ...	notin
2006-05-26	Added contrib/funind to the path for ocamldebug-coq	courtieu
2006-05-26	Support des modules dans Coqdoc	notin
2006-05-26	removing a warning	jforest
2006-05-24	Adaptation de Coqdoc au nouveau add_glob	notin
2006-05-24	Suite changement précédence by de assert	herbelin
2006-05-23	MAJ	herbelin
2006-05-23	MAJ proprÃiÃ©tÃ© svn:ignore sur test-suite	herbelin
2006-05-23	Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTEND	herbelin
2006-05-23	Restructuration dossier dev et mise à jour de certaines documentations	herbelin
2006-05-23	Retour version 8852 de constrintern.ml	herbelin
2006-05-23	Erreur commit constrintern.ml	herbelin
2006-05-23	Changement de prÃ©cÃ©dence de l'argument du by de assert; consÃ©quences...	herbelin
2006-05-23	Modification de add_glob (support des modules dans Coqdoc)	notin
2006-05-23	Error during last commit (coq didn't compile)	jforest
2006-05-23	Ajout substl_named_decl pour mode Maple	herbelin
2006-05-23	Correcting a bug with ocaml <= 3.08.3 (Map.fold changing)	jforest