| Age | Commit message (Expand) | Author |
|---|
| 2009-10-17 | Fixed a notation bug when extending binder_constr with empty levels | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-08-13 | Death of "survive_module" and "survive_section" (the first one was | herbelin |
| 2009-04-27 | - Cleaning (unification of ML names, removal of obsolete code, | herbelin |
| 2009-01-19 | - Structuring Numbers and fixing Setoid in stdlib's doc. | herbelin |
| 2008-10-22 | Affichage des notations récursives: | herbelin |
| 2008-07-17 | Uniformisation du format des messages d'erreur (commencent par une | herbelin |
| 2008-07-11 | Correction d'un autre bug autour de la gestion des niveaux vides de | herbelin |
| 2008-05-26 | Résolution bug #1850 sur notations avec niveaux inconnus de | herbelin |
| 2008-04-30 | Contournement laborieux de la "feature" de camlp5 qui entrainait le | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2006-11-02 | gestion speciale du niveau 5 des ltac | barras |
| 2006-09-15 | Compatibilité hyp=var dans Tactic Notation + nettoyage | herbelin |
| 2006-06-08 | Changement du type d'argument 'TacticArgType X' en un type | herbelin |
| 2006-04-27 | Standardisation nom option_app en option_map | herbelin |
| 2005-12-30 | Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de... | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
| 2005-12-23 | Simplifification de vernac_expr li l'abandon du traducteur | herbelin |
| 2005-12-02 | Changement des named_context | gregoire |
| 2005-05-17 | Affinements suite à extension Tactic Notation aux tacticielles | herbelin |
| 2005-05-17 | Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux... | herbelin |
| 2005-05-15 | Globalisation des Tactic Notation | herbelin |
| 2005-01-02 | Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p... | herbelin |
| 2004-12-25 | Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque... | herbelin |
| 2004-11-22 | Correction bug Notation: il faut re-déclarer les règles de parsing des nota... | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-03-17 | Mise en place de motifs récursifs dans Notation; quelques simplifications au... | herbelin |
| 2004-03-05 | modif des fixpoints pour que si on donne une notation au produit, les pts fix... | barras |
| 2004-03-03 | Plus de noms d'entrees de grammaires qualifies dans 'Tactic Notation' | herbelin |
| 2004-02-26 | Keep structure information for Fixpoint declaration and Fix terms | bertot |
| 2004-02-18 | - fixed the Assert_failure error in kernel/modops | barras |
| 2004-02-12 | Localisation des erreurs d'internalisation des notations de tactiques | herbelin |
| 2004-01-26 | reparation de qqs bugs du traducteur | barras |
| 2003-12-19 | name_app accessible a tous dans Nameops | herbelin |
| 2003-11-20 | Nouvelle solution pour le probleme d'effacement des niveaux vides de opercons... | herbelin |
| 2003-11-19 | Protection contre l'effacement des niveaux vides de operconstr et pattern par... | herbelin |
| 2003-11-15 | Bug v8 (regles connues etaient re-enregistrees) + tables dans egrammar | herbelin |
| 2003-11-04 | En v8, une notation, c'est 2 regles et un niveau | herbelin |
| 2003-11-01 | Extensibilite de la grammaires des patterns | herbelin |
| 2003-10-17 | On n'autorise plus les niveaux doubles L/R en v8 | herbelin |
| 2003-10-10 | changement nouvelle syntaxe (pt fixes) | barras |
| 2003-09-10 | Passage des projections au niveau 1 | herbelin |
| 2003-09-10 | 9 est associatif a gauche | herbelin |
| 2003-09-09 | Ajout construction If primitive dans constr_expr et rawconstr | herbelin |
| 2003-08-11 | Nouvelle mouture du traducteur v7->v8 | herbelin |
| 2003-06-10 | Ajout notation c.(f) en v8 pour les projections de Record | herbelin |
| 2003-05-19 | Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern | herbelin |
| 2003-04-28 | Localisation erreurs TacAlias; Globalisation moins tolérante dans les | herbelin |
| 2003-04-16 | simplification: fst (list_chop n l) = firstn n l et snd (list_chop n l) = lis... | letouzey |
