| Age | Commit message (Expand) | Author |
|---|
| 2012-05-29 | Split Egrammar into Egramml and Egramcoq | letouzey |
| 2012-05-29 | Strongly reduce the dependencies of grammar.cma, modulo two hacks | letouzey |
| 2012-05-29 | New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr | letouzey |
| 2012-03-20 | Fixing bug #2724 (using notations with binders in cases patterns | herbelin |
| 2012-03-20 | Continuing r15045-15046 and r15055 (fixing bug #2732 about atomic | herbelin |
| 2012-03-02 | Noise for nothing | pboutill |
| 2011-12-07 | Fixing grammar resetting bug in the presence of levels initially empty | herbelin |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-07-22 | Extension of the recursive notations mechanism | herbelin |
| 2010-05-19 | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey |
| 2010-05-19 | Nicer representation of tokens, more independant of camlp* | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-22 | Here comes the commit, announced long ago, of the new tactic engine. | aspiwack |
| 2010-03-23 | Added automatic expansion on the left of recursive notations | herbelin |
| 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 |
