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