coq - The formal proof system

Age	Commit message (Expand)	Author
2006-06-13	Changement du index.html généré dans refman	notin
2006-06-13	rearrangement du code: deplacement du code effectuant functional	courtieu
2006-06-12	Typo in replace doc.	jforest
2006-06-12	Updating documentation of replace and correcting a typo in error message of r...	jforest
2006-06-12	changed comments.	courtieu
2006-06-12	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8948 85f007b7-540e-04...	jforest
2006-06-10	Bug is_number	herbelin
2006-06-10	MAJ fichier dev/doc/changes.txt	herbelin
2006-06-10	ajout de la doc sur l'option -enable-geoproof de CoqIDE	jnarboux
2006-06-09	Suppression du répertoire distrib: il fait désormais partie du projet coq-d...	notin
2006-06-09	Commit doc Claudio Sacerdoti	herbelin
2006-06-09	Nouvelle MAJ	herbelin
2006-06-09	Déplacement vers archive coq-dev-tools/distrib	herbelin
2006-06-09	Nouvelle MAJ	herbelin
2006-06-09	ajout de la doc de classical_right et left	jnarboux
2006-06-09	MAJ liste fichiers doc stdlib	herbelin
2006-06-09	Modification déf de exists! pour éviter une éta-expansion et pouvoir être...	herbelin
2006-06-09	Adaptation Tactics.out et Cases.out au comportement actuel à défaut d'évit...	herbelin
2006-06-09	Bug suite déplacement Int.v dans ZArith	herbelin
2006-06-09	Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableT...	herbelin
2006-06-09	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin
2006-06-09	oups: il faut penser a fermer la porte en partant (d'un fixpoint)	letouzey
2006-06-09	changements de dernieres minutes pour la 8.1 beta:	letouzey
2006-06-08	Plus de Declare Module sans vrai type explicite	herbelin
2006-06-08	MAJ Makefile depend	herbelin
2006-06-08	nouvelle MAJ	herbelin
2006-06-08	Changement du type d'argument 'TacticArgType X' en un type	herbelin
2006-06-08	MAJ coqc.byte et coqmktop.byte	herbelin
2006-06-08	Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...	notin
2006-06-08	Warning ocaml 3.09 pour variable inutile	herbelin
2006-06-08	Factorisation utilisation environnement dans make_pr_tac	herbelin
2006-06-08	reparation bug 1006	letouzey
2006-06-08	Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)	notin
2006-06-08	DÃ©tection bug rawwit suitecorrection trou de typage create_arg	herbelin
2006-06-07	replace by	herbelin
2006-06-07	Correction trou de subject-reduction de create_arg dans genarg.mli	herbelin
2006-06-07	Ajout Whelp	herbelin
2006-06-07	petites corrections dans la doc de functional xxx.	courtieu
2006-06-07	Nouveaux Parametres Inductifs	cpaulin
2006-06-07	Réparation coqtop.ml	notin
2006-06-07	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin
2006-06-07	functional induction can now be used with	jforest
2006-06-07	mise en texttt d'une commande.	courtieu
2006-06-07	Changements sur Functional xxx. Plus précis et plus exact.	courtieu
2006-06-06	Ajout de précisions dans la doc de functional scheme et consort +	courtieu
2006-06-06	this time it's good	jforest
2006-06-06	Error in last commit	jforest
2006-06-06	Debut modif parametres inductifs CIC	cpaulin
2006-06-06	protecting an uncaught exception Not_found	jforest
2006-06-06	reparation pour le bug #1072 (soufflee par J. Forest):	letouzey