coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Correction sym -> comm	herbelin	2006-10-19
*	coqide: affichage des sous-buts et hypothèses et métas comme types de	herbelin	2006-10-19
*	field_simplify_eq profite de la factorisation de Laurent	barras	2006-10-17
*	Clarification des contraintes sur le contexte de paramètres des	herbelin	2006-10-17
*	Noms "canoniques" pour certaines des propriétés de xor.	herbelin	2006-10-17
*	Mise en forme des theories	notin	2006-10-17
*	affichage des ... dans les scripts	barras	2006-10-16
*	typo doc + bug legacy field	barras	2006-10-16
*	changes the use of lists and notations, to avoid that the notations	bertot	2006-10-16
*	Simplification ocamldebug (coq-debug-programs.out obsolète)	herbelin	2006-10-13
*	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin	2006-10-13
*	Adaptation des tests suite à la modification de Rewrite .. in (r9201)	notin	2006-10-13
*	Correction test-suite suite à r9186	notin	2006-10-13
*	Ajout du théorème mult_minus_distr_l	notin	2006-10-13
*	r9778@tannat: jforest \| 2006-10-13 11:36:37 +0200	jforest	2006-10-13
*	Protection raise en début de séquence (en attendant que le code caché trou...	herbelin	2006-10-12
*	Fix name clash on left	thery	2006-10-12
*	Ajout de pages de man pour les exécutables coq	notin	2006-10-11
*	Ajout d'une option -annotate au configure+ changement du comportement par dé...	notin	2006-10-11
*	Fix 0 obligations bug	msozeau	2006-10-10
*	Remove duplicate conditions in Field + Monomial substitution function for PExpr	thery	2006-10-10
*	make sure BinList is not made visible to files that use the tactic Ring	bertot	2006-10-10
*	Exemple avec liaison des variables de filtrage du match	herbelin	2006-10-09
*	Amélioration de l'automatisation des coupures quand deux idents se suivent	herbelin	2006-10-09
*	Notations:	herbelin	2006-10-09
*	Ajout combinateurs option_fold_left et name_fold_map	herbelin	2006-10-09
*	suite commit 9222 : rétablissement des tests autre que complexité	herbelin	2006-10-06
*	Remplacement des nf_evar (source de complexité polynomiale) par de la	herbelin	2006-10-06
*	Ajout d'un répertoire de test de la complexité	herbelin	2006-10-06
*	Déplacement de on_judgment_type de Typeops vers Termops	herbelin	2006-10-06
*	Suppression d'une source de complexité polynomiale dans le pretypage	herbelin	2006-10-06
*	MAJ	herbelin	2006-10-06
*	Annulation de l'essai de changement de sémantique du %scope (révision 9208).	herbelin	2006-10-06
*	Correction d'un bug dans l'unification: lors de l'unification d'un meta m et ...	notin	2006-10-05
*	Correction de deux cas où les types inductifs n'étaient pas comparés	herbelin	2006-10-05
*	revert, the previous commit was a mistake	bertot	2006-10-05
*	avertissement a propos du commit 9211 dans CHANGES	letouzey	2006-10-05
*	A version of natprering that should be more efficient and removal of a bad	bertot	2006-10-05
*	revision de la semantique de rewrite ... in <clause>. details dans la doc	letouzey	2006-10-05
*	Arith NArith et ZArith exportent ring + nettoyage dans Ring_polynom	barras	2006-10-05
*	Corrects the problem described in PR#1240:	bertot	2006-10-05
*	Essai de changement de sémantique du %scope :	herbelin	2006-10-05
*	Ajout String	herbelin	2006-10-04
*	inefficacite de field_simplify_eq	barras	2006-10-04
*	Correction bug #1211	notin	2006-10-04
*	Correction bug #1204 + maj CHANGES	notin	2006-10-04
*	Correction bug #1236	notin	2006-10-04
*	Doc injection as	herbelin	2006-10-04
*	Changement de comportement du [rewrite ... in H]: Coq échoue si H	notin	2006-10-03
*	le parsing du LETIN ne suivait pas la DTD (bug #1237)	herbelin	2006-10-03