| Commit message (Expand) | Author | Age |
* | correction bug de facto des fix (2e) | barras | 2004-03-14 |
* | correction bug de facto des fix | barras | 2004-03-14 |
* | correction bug de choix de noms courts avec Suresnes/BDD | barras | 2004-03-14 |
* | 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-12 |
* | Branchement EmptyT, UnitT, IT vers leur equivalent dans Set | herbelin | 2004-03-11 |
* | correction de bugs des points fixes | barras | 2004-03-08 |
* | modif des fixpoints pour que si on donne une notation au produit, les pts fix... | barras | 2004-03-05 |
* | Ajout d'une entrée hyp de type HypArgType pour parser et interpréter les no... | herbelin | 2004-03-02 |
* | Généralisation du type ltac Identifier en IntroPattern; prise en compte des... | herbelin | 2004-03-01 |
* | Prise en compte des implicites au travers des notations et abbreviations | herbelin | 2004-02-28 |
* | Keep structure information for Fixpoint declaration and Fix terms | bertot | 2004-02-26 |
* | Export des arguments scope au chargement, pas a l'ouverture (2eme) | herbelin | 2004-02-21 |
* | Export des arguments scope au chargement, pas a l'ouverture | herbelin | 2004-02-20 |
* | - 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-18 |
* | 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-12 |
* | 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-02-03 |
* | Ajout option raw_print (Set Printing All) pour desactiver toute fonctionnalit... | herbelin | 2004-01-29 |
* | Bug activation erronée du traducteur en v8 | herbelin | 2004-01-27 |
* | reparation de qqs bugs du traducteur | barras | 2004-01-26 |
* | Correction lecture des locations si pas demandees dans l'ordre | herbelin | 2004-01-22 |
* | Export information des references de notations pour coqdoc | herbelin | 2004-01-21 |
* | meilleure presentation des commentaires du traducteur | barras | 2004-01-02 |
* | Traduction PolyList/List dans la qualification | herbelin | 2003-12-21 |
* | Substitution dans REvar et PEvar plutot que encodage via noeud application po... | herbelin | 2003-12-19 |
* | 'Eval' protege dans Ppconstrnew; eval n'a pas le meme besoin | herbelin | 2003-12-15 |
* | Nouvelle tactique EExists | clrenard | 2003-12-01 |
* | Renommages discrets dans RIneq et Znumtheory | herbelin | 2003-11-29 |
* | Suite commit precedent | herbelin | 2003-11-27 |
* | Qualification des noms utilisateurs en cas de collision avec un nom nouveau | herbelin | 2003-11-27 |
* | Traduction de @; simplification traduction des ident | herbelin | 2003-11-26 |
* | modif lexer: ident peut commencer par _ | barras | 2003-11-25 |
* | Prise en compte des defs syntaxiques dans is_global et global_reference qui p... | herbelin | 2003-11-24 |
* | Traitement plus clair, notamment pour Locate, de quand quoter les composantes... | herbelin | 2003-11-22 |
* | ajout Pnat et Pcompare_antisym | herbelin | 2003-11-21 |
* | Distinction entre 'as _' qui cache le terme filtre (si variable) et rien dans... | herbelin | 2003-11-19 |
* | 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-18 |
* | 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-17 |
* | Bug filtrage pour inversion notation | herbelin | 2003-11-16 |
* | Conflit renommage | herbelin | 2003-11-14 |
* | Oublis dans les rennomages | herbelin | 2003-11-14 |
* | Suppression renommages dans Peano | herbelin | 2003-11-14 |
* | moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc... | barras | 2003-11-13 |