diff options
| author | Clément Pit-Claudel | 2018-08-21 13:58:55 -0400 |
|---|---|---|
| committer | GitHub | 2018-08-21 13:58:55 -0400 |
| commit | 3b9e1e4742a2dafce6ac2ef4bfa95d22e43c3c59 (patch) | |
| tree | 264873e07f4b872ff5fc71eaf53705bee621eddd /generic/proof-site.el | |
| parent | 5f73b85cfcbb7cf0f39d212ce1d5a540e5b8ba22 (diff) | |
| parent | 5c27e4a9398cb366e087594dd1c72e4c084fae01 (diff) | |
Merge pull request #379 from tchajed/variant-keyword
Support the Variant vernacular
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions