Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Matching --> ConstrMatching (was clashing with OCaml's compiler-libs) | 2014-03-02 | |
* | TacticMatching: avoid some closure allocation in (<*>). | 2014-02-24 | |
* | Removed some trailing whitespaces. | 2014-02-24 | |
* | IStream: a concat_map primitive. | 2014-02-24 | |
* | Optimization: in case of empty substitution, merging is trivial. | 2013-11-19 | |
* | Slightly faster version of merging substitutions in TacticMatching. | 2013-11-16 | |
* | Implementation of Ltac's match and match goal fully based on IStream. | 2013-11-14 |