| Age | Commit message (Expand) | Author |
|---|
| 2003-03-29 | eq fusionne avec eqT et devient par défaut sur Type, | herbelin |
| 2003-03-29 | Déplacement de minus dans Peano | herbelin |
| 2003-03-28 | notations <>, Assumption avec existentiel, replace term | mohring |
| 2003-03-21 | *** empty log message *** | barras |
| 2003-03-14 | *** empty log message *** | barras |
| 2003-03-12 | *** empty log message *** | barras |
| 2003-01-30 | Pb de parenthèse dans "Check (S (plus O O))" | herbelin |
| 2002-12-15 | Une entrée spéciale "annot" pour les piquants | herbelin |
| 2002-12-15 | Ajout syntaxe '>' | herbelin |
| 2002-12-03 | Essai d'introduction d'un scope des types | herbelin |
| 2002-11-29 | Re-échappement des \ et " dans les token string | herbelin |
| 2002-11-28 | 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-27 | Retour sur associativité à droite de * pour compatibilité de prod | herbelin |
| 2002-11-26 | 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-25 | Retablissement SynDef Value/Error | herbelin |
| 2002-11-25 | Oubli | herbelin |
| 2002-11-24 | Généralisation de l'utilisation de Notation | herbelin |
| 2002-11-20 | Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu... | herbelin |
| 2002-11-14 | Oubli | herbelin |
| 2002-11-07 | Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co... | herbelin |
| 2002-10-23 | Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour | herbelin |
| 2002-10-22 | Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;... | herbelin |
| 2002-10-21 | 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-18 | Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribs | herbelin |
| 2002-10-17 | 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-14 | La règle pour parser "(1)", "(2)", ... entre en conflit avec les expressions | herbelin |
| 2002-10-13 | 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-07-15 | Bug de précédence | herbelin |
| 2002-07-11 | Hack pour parser '{x:T|P}*B' sans parentheses | herbelin |
| 2002-05-29 | Utilisation d'Infix/Distfix autant que possible | herbelin |
| 2002-05-14 | petite erreur de syntaxe | barras |
| 2002-05-14 | ajout des theoremes eqT_rec_r et eqT_rect_r pour Rewrite | barras |
| 2002-05-07 | 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-04-17 | Uniformisation (Qed/Save et Implicits Arguments) | herbelin |
| 2002-02-22 | Doc | herbelin |
| 2002-02-19 | Uniformisation des theoremes dans Set et Type (def. de Acc_rect et | barras |
| 2002-02-14 | option -dump-glob pour coqdoc | filliatr |
| 2002-02-14 | Syntaxe IF then else au lieu de either and_then or_else | barras |
| 2002-01-31 | changement generation de schema d'elimination, False_rec est primitif, Constr... | mohring |
