Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
* | [proof] [api] Rename proof types in preparation for functionalization. | 2017-11-29 | |
* | [plugin] Encapsulate modifiers to vernac commands. | 2017-11-22 | |
* | [plugins] Prepare plugin API for functional handling of state. | 2017-11-19 |