Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | [location] Remove Loc.ghost. | 2017-04-25 | ||
* | | [location] Switch glob_constr to Loc.located | 2017-04-24 | ||
|/ | ||||
* | Merge branch 'master' into econstr | 2017-04-07 | ||
|\ | ||||
* | | Fix a normalization hotspot in computation of constr keys. | 2017-04-06 | ||
* | | Using delayed universe instances in EConstr. | 2017-04-01 | ||
* | | Merge branch 'trunk' into pr379 | 2017-03-24 | ||
| * | Fast path for implicit tactic solving. | 2017-03-23 | ||
|/ | ||||
* | Ltac as a plugin. | 2017-02-17 |