Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bump year in headers. | 2017-07-04 | |
* | [vernac] Remove stale bool parameter from `VernacStartTheoremProof` | 2017-06-21 | |
* | Merge PR#774: [ide] Add route_id parameter to query call. | 2017-06-20 | |
|\ | |||
| * | [ide] Add route_id parameter to query call. | 2017-06-18 | |
* | | Fix bugs and add an option for cumulativity | 2017-06-16 | |
|/ | |||
* | Remove Show Thesis command which was never implemented. | 2017-06-12 | |
* | Remove non-working Show Tree and Show Node commands. | 2017-06-12 | |
* | Remove Show Implicit Arguments command. | 2017-06-12 | |
* | Put all plugins behind an "API". | 2017-06-07 |