Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tactic_matching API using EConstr. | 2017-02-14 | |
* | Merge branch 'v8.6' | 2016-09-23 | |
|\ | |||
* | | Merging Stdarg and Constrarg. | 2016-09-21 | |
| * | Continuing fix to #5078, taking also into account intropatterns. | 2016-09-15 | |
|/ | |||
* | Fixing #5078 (wrong detection of evaluable local hypotheses). | 2016-09-13 | |
* | Moving Taccoerce to ltac/ folder. | 2016-08-19 |