| Age | Commit message (Expand) | Author |
|---|
| 2004-03-12 | bug des points fixes (pb avec la contrib Matrices) | barras |
| 2004-03-12 | Correction d'un defaut dans la globalisation des variables de notations | herbelin |
| 2004-03-11 | Branchement EmptyT, UnitT, IT vers leur equivalent dans Set | herbelin |
| 2004-03-08 | correction de bugs des points fixes | barras |
| 2004-03-05 | modif des fixpoints pour que si on donne une notation au produit, les pts fix... | barras |
| 2004-03-02 | Ajout d'une entrée hyp de type HypArgType pour parser et interpréter les no... | herbelin |
| 2004-03-01 | Généralisation du type ltac Identifier en IntroPattern; prise en compte des... | herbelin |
| 2004-02-28 | Prise en compte des implicites au travers des notations et abbreviations | herbelin |
| 2004-02-26 | Keep structure information for Fixpoint declaration and Fix terms | bertot |
| 2004-02-21 | Export des arguments scope au chargement, pas a l'ouverture (2eme) | herbelin |
| 2004-02-20 | Export des arguments scope au chargement, pas a l'ouverture | herbelin |
| 2004-02-18 | - fixed the Assert_failure error in kernel/modops | barras |
| 2004-02-18 | Bug coercions imbriquees + suppression des coercions avant filtrage sur notat... | herbelin |
| 2004-02-12 | Localisation erreur interp_notation | herbelin |
| 2004-02-12 | Localisation erreur interp_notation | herbelin |
| 2004-02-12 | Correction bug affichage en presence de '{ _ }' | herbelin |
| 2004-02-12 | Décomposition automatique des règles d'analyse syntaxique pour les | herbelin |
| 2004-02-03 | Relachement condition pour afficher @ en cas d'explicitation d'implicites | herbelin |
| 2004-02-03 | Politique de filtrage pour l'affichage plus coercitif pour les lieurs : un no... | herbelin |
| 2004-01-29 | Ajout option raw_print (Set Printing All) pour desactiver toute fonctionnalit... | herbelin |
| 2004-01-27 | Bug activation erronée du traducteur en v8 | herbelin |
| 2004-01-26 | reparation de qqs bugs du traducteur | barras |
| 2004-01-22 | Correction lecture des locations si pas demandees dans l'ordre | herbelin |
| 2004-01-21 | Export information des references de notations pour coqdoc | herbelin |
| 2004-01-02 | meilleure presentation des commentaires du traducteur | barras |
| 2003-12-21 | Traduction PolyList/List dans la qualification | herbelin |
| 2003-12-19 | Substitution dans REvar et PEvar plutot que encodage via noeud application po... | herbelin |
| 2003-12-15 | 'Eval' protege dans Ppconstrnew; eval n'a pas le meme besoin | herbelin |
| 2003-12-01 | Nouvelle tactique EExists | clrenard |
| 2003-11-29 | Renommages discrets dans RIneq et Znumtheory | herbelin |
| 2003-11-27 | Suite commit precedent | herbelin |
| 2003-11-27 | Qualification des noms utilisateurs en cas de collision avec un nom nouveau | herbelin |
| 2003-11-26 | Traduction de @; simplification traduction des ident | herbelin |
| 2003-11-25 | modif lexer: ident peut commencer par _ | barras |
| 2003-11-24 | Prise en compte des defs syntaxiques dans is_global et global_reference qui p... | herbelin |
| 2003-11-22 | Traitement plus clair, notamment pour Locate, de quand quoter les composantes... | herbelin |
| 2003-11-21 | ajout Pnat et Pcompare_antisym | herbelin |
| 2003-11-19 | Distinction entre 'as _' qui cache le terme filtre (si variable) et rien dans... | herbelin |
| 2003-11-18 | reparation bug moins unaire (erreur de PP) | barras |
| 2003-11-18 | Mise en place systeme de qualification des noms renommes; Renommages dans Rin... | herbelin |
| 2003-11-17 | New tactics : econstructor, eleft, eright, esplit | clrenard |
| 2003-11-17 | Un ident filtre est liant seulement si une variable deja liee (sinon bug dans... | herbelin |
| 2003-11-16 | Bug filtrage pour inversion notation | herbelin |
| 2003-11-14 | Conflit renommage | herbelin |
| 2003-11-14 | Oublis dans les rennomages | herbelin |
| 2003-11-14 | Suppression renommages dans Peano | herbelin |
| 2003-11-13 | moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc... | barras |
| 2003-11-12 | Nouvelle et derniere vague de renommage | herbelin |
| 2003-11-12 | Test de la reference principale plutot que le module dans lequel se trouve la... | herbelin |
| 2003-11-09 | Quelqes renommages lies a Zorder | herbelin |
