| Age | Commit message (Expand) | Author |
|---|
| 2012-05-29 | place all files specific to camlp4 syntax extensions in grammar/ | letouzey |
| 2012-05-29 | Split Egrammar into Egramml and Egramcoq | letouzey |
| 2012-04-18 | Corrects a (very) longstanding bug of tactics. As is were, tactic expecting | aspiwack |
| 2012-03-20 | Continuing r15045-15046 and r15055 (fixing bug #2732 about atomic | herbelin |
| 2012-03-19 | Hopefully complying with camlp5 < 6.00 syntax | herbelin |
| 2012-03-18 | Fixing bug #2732 (anomaly when using the tolerance for writing | herbelin |
| 2012-03-02 | Noise for nothing | pboutill |
| 2010-12-25 | ARGUMENT EXTEND: forbid TYPED simultaneously with {RAW,GLOB}_TYPED | glondu |
| 2010-12-25 | Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commands | glondu |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-07-09 | Finish adding out-of-the-box support for camlp4 | letouzey |
| 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-05-19 | static (and shared) camlp4use instead of per-file declaration | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-04-27 | - Fixed a little bug in previous commit (bad failure in case of unknown entry). | herbelin |
| 2009-04-27 | - Cleaning (unification of ML names, removal of obsolete code, | herbelin |
| 2008-11-22 | Fixed bug in VernacExtend printing + missing vernacular printing rules + | herbelin |
| 2008-10-19 | - Export de pattern_ident vers les ARGUMENT EXTEND and co. | herbelin |
| 2007-09-15 | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey |
| 2007-07-16 | Generalized CAMLP4USE for pp dependencies | corbinea |
| 2006-10-24 | Hack peu élégant pour permettre de parser des listes avec séparateurs dans | herbelin |
| 2006-06-23 | Suppresion redondance interp_entry_name entre Q_util et Argextend | herbelin |
| 2006-06-08 | Changement du type d'argument 'TacticArgType X' en un type | herbelin |
| 2005-12-26 | Petite correction nom QuantHypArgType suite suppression traducteur | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
| 2005-11-18 | *** empty log message *** | barras |
| 2005-11-08 | Nettoyage suite à la détection par défaut des variables inutilisées par o... | herbelin |
| 2005-05-17 | Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux... | herbelin |
| 2004-12-09 | Restauration type casted_open_constr pour tactique refine car l'unification n... | herbelin |
| 2004-12-06 | Généralisation de CastedOpenConstrArg en OpenConstrArg, à charge des tacti... | herbelin |
| 2004-07-20 | Abstraction vis à vis de dummy_loc | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-06-29 | moved instantiate binding to extratactics | corbinea |
| 2004-06-17 | Nouvelle syntaxe à la ML pour donner le type ML des extensions d'arguments | herbelin |
| 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 |
| 2003-12-01 | Nouvelle tactique EExists | clrenard |
| 2003-11-17 | New tactics : econstructor, eleft, eright, esplit | clrenard |
| 2003-04-07 | Globalisation des noms de tactiques dans les définitions de tactiques | herbelin |
| 2003-03-12 | *** empty log message *** | barras |
| 2003-01-19 | Restructuration interpréteur de tactique: plus d'évaluation partielle à la... | herbelin |
| 2002-11-14 | Réforme de l'interprétation des termes : | herbelin |
| 2002-06-05 | Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar... | herbelin |
