| Age | Commit message (Expand) | Author |
|---|
| 2003-06-10 | Deplacement delimiteur T dans Notations | herbelin |
| 2003-05-29 | Bug niveau | herbelin |
| 2003-05-29 | Ne pas mettre d'associatif a droite au niveau 3 en V7 | herbelin |
| 2003-05-27 | 'only parsing' pour le passage de trucT a truc | herbelin |
| 2003-05-22 | V8Notation | herbelin |
| 2003-05-22 | Ajout V8Notation | herbelin |
| 2003-05-21 | Concentration des notations officielles dans Init/Notations; restructuration ... | herbelin |
| 2003-04-29 | Blancs | herbelin |
| 2003-04-28 | Un principe light d'elimination de Acc, suivant les remarques de Yves Bertot | letouzey |
| 2003-04-17 | Intégration DatatypesSyntax à Datatypes | herbelin |
| 2003-04-17 | Intégration DatatypesSyntax à Datatypes | herbelin |
| 2003-04-17 | Syntaxe 'x=y:>T' | herbelin |
| 2003-04-09 | 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-03-31 | Suppression des alias eqT/exT/exT2 en nouvelle syntaxe | herbelin |
| 2003-03-31 | Notation eqT superflue | herbelin |
| 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 |
