| Age | Commit message (Expand) | Author |
|---|
| 2014-04-14 | Closing bug #3260 | Julien Forest |
| 2013-12-01 | Ensuring the right parsing of glob arguments, used by refine | Pierre-Marie Pédrot |
| 2013-11-30 | Getting rid of casted_open_constr. It was only used by the | Pierre-Marie Pédrot |
| 2013-11-25 | Tacinterp: fewer use of old-style goals. | Arnaud Spiwack |
| 2013-06-22 | Now, idtac closures use maps instead of association list. | ppedrot |
| 2013-06-12 | Moving coercion functions out of Tacinterp. | ppedrot |
| 2013-06-10 | Hiding tactic value representations. | ppedrot |
| 2013-06-06 | Uniformizing generic argument types. | ppedrot |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-10-16 | Split Tacinterp in 3 files : Tacsubst, Tacintern and Tacinterp | letouzey |
| 2012-10-02 | Remove some more "open" and dead code thanks to OCaml4 warnings | letouzey |
| 2012-09-20 | Fixing Show Script issues. | ppedrot |
| 2012-08-11 | fast bitwise operations (lor,land,lxor) on int31 and BigN | letouzey |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-06-22 | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot |
| 2012-05-29 | place all files specific to camlp4 syntax extensions in grammar/ | letouzey |
| 2012-05-29 | locus.mli for occurrences+clauses, misctypes.mli for various little things | letouzey |
| 2012-04-18 | Corrects a (very) longstanding bug of tactics. As is were, tactic expecting | aspiwack |
| 2012-03-18 | Removing redundant entry int_nelist and removing extra space when | herbelin |
| 2012-03-18 | Fixing bug #2732 (anomaly when using the tolerance for writing | herbelin |
| 2012-03-02 | Noise for nothing | pboutill |
| 2010-12-27 | Rename the "raw" argument extension into "glob" | glondu |
| 2010-12-25 | ARGUMENT EXTEND: forbid TYPED simultaneously with {RAW,GLOB}_TYPED | glondu |
| 2010-12-23 | Rename rawterm.ml into glob_term.ml | glondu |
| 2010-12-23 | Change of nomenclature: rawconstr -> glob_constr | glondu |
| 2010-08-03 | Export printing functions for extra arguments. Maybe there's a way to | msozeau |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-18 | Fixed some printing bugs. | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-04-24 | Fixing bug #2308 ("instantiate" tactic did not comply with | herbelin |
| 2009-01-18 | Getting rid of the previous implementation of setoid_rewrite which was | msozeau |
| 2008-10-26 | Fixes and refinements regarding occurrence selection: | herbelin |
| 2008-06-10 | - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs) | herbelin |
| 2008-04-20 | Work on the "occurrences" tactic argument. It is now possible to pass | msozeau |
| 2008-04-12 | Adding 'at' to rewrite, as it is already implemented in setoid_rewrite. | msozeau |
| 2008-01-30 | Add occurence extra arg | msozeau |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-06-26 | killing some more non-exhaustive patterns | letouzey |
| 2007-06-20 | ajout de head0 et tail0 en natif | bgregoir |
| 2007-05-11 | Processor integers + Print assumption (see coqdev mailing list for the | aspiwack |
| 2006-08-23 | Bug in replace tactics introduced in r9073 (overlap between replace .. with a... | jforest |
| 2006-08-22 | + Changing "in <hyp>" to "in <clause>" (no at, no InValue and no | jforest |
| 2006-04-26 | Diverses corrections de l'afficheur et du traducteur pour s'assurer de | herbelin |
| 2006-01-11 | Standardisation du nom de subst_raw en subst_rawconstr | herbelin |
| 2006-01-11 | Restructuration et simplification des fonctions d'affichage, de détypage | herbelin |
| 2005-12-26 | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
| 2005-12-21 | Ajout printer pr_lconstr aux extensions de syntaxe pour les arguments de tact... | herbelin |
| 2004-09-29 | Hugly temporary notation | sacerdot |
