coq - The formal proof system

Age	Commit message (Expand)	Author
2001-08-05	Nouveau profiler compatible avec ocaml >= 3.01	herbelin
2001-08-01	Ajout code pour un Destruct similaire au NewInduction	herbelin
2001-08-01	Ajout make_elimination_ident	herbelin
2001-08-01	Ajout add_prefix/add_suffix	herbelin
2001-08-01	Ajout profile dans PARSERREQUIRE, nécessaire si certaines fonctions d'un des...	herbelin
2001-08-01	MAJ vis à vis de ocaml 3.01	herbelin
2001-07-24	Suppression de l'affichage du non-reparsable 'Local constraint change'	herbelin
2001-07-24	Bug Simpl	herbelin
2001-07-23	Comentaire errone.	clrenard
2001-07-21	Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...	herbelin
2001-07-21	Nettoyage	herbelin
2001-07-21	Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...	herbelin
2001-07-19	Changements dans le traitement des qualid's	delahaye
2001-07-19	modifs de preuves (plus simples)	mayero
2001-07-18	Ajout de la contrib sur les graphes	mohring
2001-07-17	"make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTML	filliatr
2001-07-16	all.g.ps -> all-gal.ps	filliatr
2001-07-16	compat -sort et -suffix	filliatr
2001-07-16	cibles all.ps et all-gal.ps (utilisation de coqweb)	filliatr
2001-07-16	utilisation de printf (simplif)	filliatr
2001-07-16	modif Map section	mohring
2001-07-16	Nettoyage	mohring
2001-07-13	reparation regles pour parsing Coercion Local	mohring
2001-07-13	Branchement de induction/destruct sur intros_until_n (intros_do obsolete ne p...	herbelin
2001-07-10	Setoid_rewrite -> Rewrite	clrenard
2001-07-10	Branchement sur bad_tactic_args	herbelin
2001-07-10	Branchement sur bad_tactic_args	herbelin
2001-07-10	Ajout des fichiers pour le Ring pour setoides	clrenard
2001-07-10	Ajout du .ml pour la tactique Setoid_replace	clrenard
2001-07-10	Ajout du .v pour la tactique Setoid_replace	clrenard
2001-07-10	Changement de place de la tactique Setoid_rewrite et renommage	clrenard
2001-07-10	Changement de place de la tactique Setoid_rewrite	clrenard
2001-07-10	Ajout d'un Ring pour setoides	clrenard
2001-07-10	Changement de place et de nom de la tactique Setoid_rewrite.	clrenard
2001-07-10	anomaly -> error	clrenard
2001-07-09	MAJ de la MAJ	herbelin
2001-07-09	MAJ	herbelin
2001-07-09	Backtrack sur le warning Require en Section: trop contraignant	herbelin
2001-07-06	Les tables de coercions ne doivent pas survivre aux sections	herbelin
2001-07-06	la conversion ne doit être testé dans evar_conv qu'en absence de evar	herbelin
2001-07-06	has_undefined_isevars était buggé	herbelin
2001-07-06	version 7.0+1 (pour Nicolas Magaud)	filliatr
2001-07-05	Avertissement contre les Require dans le corps d'une section	herbelin
2001-07-05	Interdiction de faire 2 variables de même nom court	herbelin
2001-07-05	Débogage discharge des coercions; nettoyage	herbelin
2001-07-05	correction bug Omega	filliatr
2001-07-04	ajout Show Intro(s)	letouzey
2001-07-04	message Ambiguous paths seulement si verbose	filliatr
2001-07-03	Ajout hashconsing univers	herbelin
2001-07-03	Depliage des let-in dans le test de garde	herbelin