coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Généralisation de l'utilisation de Notation	herbelin	2002-11-24
*	Installation des printers de nombres pour constr_expr	herbelin	2002-11-24
*	Remplacement de Syntactic Definition par Notation	herbelin	2002-11-24
*	Ajout Refmap	herbelin	2002-11-24
*	Ajout option_cons	herbelin	2002-11-24
*	Ajout zero	herbelin	2002-11-24
*	Ajout interp	herbelin	2002-11-24
*	Nettoyage	herbelin	2002-11-24
*	Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...	herbelin	2002-11-20
*	Introduction d'un constructeur ARROW; rétablissement priorités des	herbelin	2002-11-20
*	Correction des priorités des TOMATCH	herbelin	2002-11-20
*	Ajout option_fold_left2	herbelin	2002-11-20
*	Autoriser les abbreviations de Cases	herbelin	2002-11-19
*	remaniement de test_extraction.v	letouzey	2002-11-18
*	typo	herbelin	2002-11-18
*	Allègement du noyau	herbelin	2002-11-18
*	Analyse plus fine des occurrences rigides	herbelin	2002-11-18
*	Ajout de Cases dans abbreviatable constr (aconstr) [utilisé dans la	herbelin	2002-11-18
*	Definition et proprietes de l'integrale de Riemann	desmettr	2002-11-18
*	Proprietes des fonctions en escalier	desmettr	2002-11-18
*	maj	filliatr	2002-11-18
*	Problème avec le choix d'introduire une indirection vers un rawconstr pour	herbelin	2002-11-17
*	Complétion du commit précédent	herbelin	2002-11-16
*	maj	filliatr	2002-11-16
*	Passage à une représentation des fixpoints plus primitive dans constr_expr ...	herbelin	2002-11-15
*	maj apres reparation d'un bug coqdep	letouzey	2002-11-15
*	Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)	letouzey	2002-11-15
*	Bug factorisation grammaire	herbelin	2002-11-15
*	maj	filliatr	2002-11-15
*	Compatibilité avec les << >> dans la très ancienne syntaxe des actions	herbelin	2002-11-14
*	Bug factorisation	herbelin	2002-11-14
*	Restauration échappement ML	herbelin	2002-11-14
*	Re-ajout constrIn	herbelin	2002-11-14
*	bugs	herbelin	2002-11-14
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Oubli	herbelin	2002-11-14
*	MAJ syntaxe	herbelin	2002-11-14
*	JMeq now treated as an equality by tactics.	courant	2002-11-14
*	nettoyage preuve limit_comp	courant	2002-11-14
*	maj	filliatr	2002-11-14
*	simplification common_ancestor	courant	2002-11-13
*	typo	courant	2002-11-13
*	Un revenant hors sujet	herbelin	2002-11-13
*	rep why ignore	filliatr	2002-11-12
*	more cleaning	herbelin	2002-11-10
*	Correction bug PR#222	coq	2002-11-08
*	maj	filliatr	2002-11-08
*	Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...	herbelin	2002-11-07
*	fix forbidden currified constructors	ddr	2002-11-07
*	Raffinement de l'heuristique d'unification dans sig_clausale_forme	herbelin	2002-11-06