| Commit message (Expand) | Author | Age |
* | cList.index is now cList.index_f, same for index0 | letouzey | 2013-10-23 |
* | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc | 2013-09-19 |
* | Replacing lists by maps in matching interpretation. | ppedrot | 2013-06-05 |
* | Why not going inside fixpoint definition with appcontext ? | pboutill | 2013-05-30 |
* | Pushing lazy lists into Ltac. Now, the control flow is explicit | ppedrot | 2013-05-28 |
* | Code cleaning in Matching. | ppedrot | 2013-05-24 |
* | Uniformizing the [if_warn] flag used for warning printing and put | ppedrot | 2013-05-08 |
* | Splitting Term into five unrelated interfaces: | ppedrot | 2013-04-29 |
* | Matching patterns: fixed allow_partial_app which was not working on | herbelin | 2013-04-17 |
* | Uniformization of the "anomaly" command. | ppedrot | 2013-01-28 |
* | Modulification of identifier | ppedrot | 2012-12-14 |
* | Moved Intset and Intmap to Int namespace. | ppedrot | 2012-12-14 |
* | Monomorphization (pretyping) | ppedrot | 2012-11-22 |
* | Removing another bunch of generic equalities | ppedrot | 2012-11-08 |
* | Adapt pieces of code needing -rectypes | letouzey | 2012-10-06 |
* | 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-09-14 |
* | Updating headers. | herbelin | 2012-08-08 |
* | 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-05-29 |
* | Noise for nothing | pboutill | 2012-03-02 |
* | A pass on warning printings. Made systematic the use of msg_warning so | herbelin | 2011-12-17 |
* | Allow "|_=>_" in "match" in patterns, no more forced enumeration of constructors | letouzey | 2011-11-07 |
* | More {raw => glob} changes for consistency | glondu | 2010-12-24 |
* | Rename rawterm.ml into glob_term.ml | glondu | 2010-12-23 |
* | Some dead code removal, thanks to Oug analyzer | letouzey | 2010-09-24 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Added support for Ltac-matching terms with variables bound in the pattern | herbelin | 2010-06-06 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | fixed confusion between number of cstr arguments and number of pattern variab... | barras | 2010-03-12 |
* | Typo in error message | herbelin | 2010-01-12 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Fixed two apparent inconsistencies in matching.ml: | herbelin | 2009-01-02 |
* | - Added support for subterm matching in SearchAbout. | herbelin | 2008-12-29 |
* | Correction bug de filtrage sous-terme #1920 introduit dans commit | herbelin | 2008-08-05 |
* | A try at allowing matching on applications as a binary syntax node by default. | msozeau | 2008-07-22 |
* | Uniformisation du format des messages d'erreur (commencent par une | herbelin | 2008-07-17 |
* | Quelques modifications autour du filtrage Ltac: | herbelin | 2008-07-16 |
* | Add possibility to match on defined hypotheses, using brackets to | msozeau | 2008-06-16 |
* | bug in accessing n-th abstraction | barras | 2008-01-18 |
* | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
* | Applatissement des noeuds application vide dans le filtrage Ltac (ex: | herbelin | 2006-10-25 |
* | Correcting a bug in matching context on if. | jforest | 2006-05-17 |
* | Timide tentative de clarification du statut de l'opérateur de filtrage | herbelin | 2006-04-24 |
* | Optimisation filtrage sans lieurs (utile pour Ltac) | herbelin | 2006-02-01 |
* | Changement des named_context | gregoire | 2005-12-02 |
* | Standardisation of function names about global references (especially, renami... | herbelin | 2005-02-18 |
* | collapse apps of patterns to avoid failures | barras | 2004-09-27 |