| Age | Commit message (Expand) | Author |
|---|
| 2014-03-02 | Matching --> ConstrMatching (was clashing with OCaml's compiler-libs) | Pierre Letouzey |
| 2014-02-24 | IStream: change type of thunk, spare allocations. | Arnaud Spiwack |
| 2013-10-23 | cList.index is now cList.index_f, same for index0 | letouzey |
| 2013-09-19 | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc |
| 2013-06-05 | Replacing lists by maps in matching interpretation. | ppedrot |
| 2013-05-30 | Why not going inside fixpoint definition with appcontext ? | pboutill |
| 2013-05-28 | Pushing lazy lists into Ltac. Now, the control flow is explicit | ppedrot |
| 2013-05-24 | Code cleaning in Matching. | ppedrot |
| 2013-05-08 | Uniformizing the [if_warn] flag used for warning printing and put | ppedrot |
| 2013-04-29 | Splitting Term into five unrelated interfaces: | ppedrot |
| 2013-04-17 | Matching patterns: fixed allow_partial_app which was not working on | herbelin |
| 2013-01-28 | Uniformization of the "anomaly" command. | ppedrot |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-12-14 | Moved Intset and Intmap to Int namespace. | ppedrot |
| 2012-11-22 | Monomorphization (pretyping) | ppedrot |
| 2012-11-08 | Removing another bunch of generic equalities | ppedrot |
| 2012-10-06 | Adapt pieces of code needing -rectypes | letouzey |
| 2012-09-14 | As r15801: putting everything from Util.array_* to CArray.*. | ppedrot |
| 2012-09-14 | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot |
| 2012-09-14 | This patch removes unused "open" (automatically generated from | regisgia |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-05-29 | global_reference migrated from Libnames to new Globnames, less deps in gramma... | letouzey |
| 2012-05-29 | Pattern as a mli-only file, operations in Patternops | letouzey |
| 2012-05-29 | locus.mli for occurrences+clauses, misctypes.mli for various little things | letouzey |
| 2012-03-02 | Noise for nothing | pboutill |
| 2011-12-17 | A pass on warning printings. Made systematic the use of msg_warning so | herbelin |
| 2011-11-07 | Allow "|_=>_" in "match" in patterns, no more forced enumeration of constructors | letouzey |
| 2010-12-24 | More {raw => glob} changes for consistency | glondu |
| 2010-12-23 | Rename rawterm.ml into glob_term.ml | glondu |
| 2010-09-24 | Some dead code removal, thanks to Oug analyzer | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-06-06 | Added support for Ltac-matching terms with variables bound in the pattern | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-03-12 | fixed confusion between number of cstr arguments and number of pattern variab... | barras |
| 2010-01-12 | Typo in error message | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-01-02 | Fixed two apparent inconsistencies in matching.ml: | herbelin |
| 2008-12-29 | - Added support for subterm matching in SearchAbout. | herbelin |
| 2008-08-05 | Correction bug de filtrage sous-terme #1920 introduit dans commit | herbelin |
| 2008-07-22 | A try at allowing matching on applications as a binary syntax node by default. | msozeau |
| 2008-07-17 | Uniformisation du format des messages d'erreur (commencent par une | herbelin |
| 2008-07-16 | Quelques modifications autour du filtrage Ltac: | herbelin |
| 2008-06-16 | Add possibility to match on defined hypotheses, using brackets to | msozeau |
| 2008-01-18 | bug in accessing n-th abstraction | barras |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2006-10-25 | Applatissement des noeuds application vide dans le filtrage Ltac (ex: | herbelin |
| 2006-05-17 | Correcting a bug in matching context on if. | jforest |
| 2006-04-24 | Timide tentative de clarification du statut de l'opérateur de filtrage | herbelin |
| 2006-02-01 | Optimisation filtrage sans lieurs (utile pour Ltac) | herbelin |
| 2005-12-02 | Changement des named_context | gregoire |
