coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Activation des implicites pour la v8	herbelin	2003-04-09
*	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"	herbelin	2003-04-09
*	Suppression des alias eqT/exT/exT2 en nouvelle syntaxe	herbelin	2003-03-31
*	Notation eqT superflue	herbelin	2003-03-31
*	eq fusionne avec eqT et devient par défaut sur Type,	herbelin	2003-03-29
*	Déplacement de minus dans Peano	herbelin	2003-03-29
*	notations <>, Assumption avec existentiel, replace term	mohring	2003-03-28
*	* empty log message *	barras	2003-03-21
*	* empty log message *	barras	2003-03-14
*	* empty log message *	barras	2003-03-12
*	Pb de parenthèse dans "Check (S (plus O O))"	herbelin	2003-01-30
*	Une entrée spéciale "annot" pour les piquants	herbelin	2002-12-15
*	Ajout syntaxe '>'	herbelin	2002-12-15
*	Essai d'introduction d'un scope des types	herbelin	2002-12-03
*	Re-échappement des \ et " dans les token string	herbelin	2002-11-29
*	Simplification	herbelin	2002-11-28
*	Essai de suppression du caractere d'echappement des string	herbelin	2002-11-28
*	Plus de précisions	herbelin	2002-11-28
*	Retour sur associativité à droite de * pour compatibilité de prod	herbelin	2002-11-27
*	Ne pas cacher les Metas d'une notations, ils peuvent être liant dans	herbelin	2002-11-26
*	Plus d'indication pour le gestionnaire de niveaux	herbelin	2002-11-26
*	Bug ProjSn + retour de "Notation" pour déclarer les définitions syntaxiques	herbelin	2002-11-26
*	Bug niveau	herbelin	2002-11-26
*	Retablissement SynDef Value/Error	herbelin	2002-11-25
*	Oubli	herbelin	2002-11-25
*	Généralisation de l'utilisation de Notation	herbelin	2002-11-24
*	Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...	herbelin	2002-11-20
*	Oubli	herbelin	2002-11-14
*	Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...	herbelin	2002-11-07
*	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin	2002-10-23
*	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin	2002-10-22
*	Niveau d'affichage sumor/sumbool incohérent avec le parsing	herbelin	2002-10-21
*	Prise en compte des délimiteurs dans les motifs de Cases	herbelin	2002-10-21
*	Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribs	herbelin	2002-10-18
*	Bugs dans la factorisation des règles de parsing de "{ ... } * ..."	herbelin	2002-10-17
*	Parsing des entiers de nat jusqu'à 29 pour accommoder certaines contribs	herbelin	2002-10-17
*	La règle pour parser "(1)", "(2)", ... entre en conflit avec les expressions	herbelin	2002-10-14
*	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin	2002-10-13
*	Nettoyage	herbelin	2002-10-13
*	Déplacement de + et * aux niveaux de précédence 7 et 6	herbelin	2002-10-13
*	Déplacement de + et * aux niveaux de précédence 7 et 6	herbelin	2002-10-13
*	Bug de précédence	herbelin	2002-07-15
*	Hack pour parser '{x:T\|P}*B' sans parentheses	herbelin	2002-07-11
*	Utilisation d'Infix/Distfix autant que possible	herbelin	2002-05-29
*	petite erreur de syntaxe	barras	2002-05-14
*	ajout des theoremes eqT_rec_r et eqT_rect_r pour Rewrite	barras	2002-05-14
*	lemmes plus_O_n et plus_Sn_m (pour Yves)	filliatr	2002-05-07
*	lemmes plus_O_n et plus_Sn_m (pour Yves)	filliatr	2002-05-07
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Doc	herbelin	2002-02-22