Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [vernac] Couple of tweaks missing from previous PRs. | 2017-12-04 | |
* | [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 |