diff options
| author | Pierre-Yves Strub | 2017-02-21 23:41:44 +0100 |
|---|---|---|
| committer | Clément Pit--Claudel | 2017-02-21 22:15:10 -0500 |
| commit | 12d6e92b5cac0ea1fda6f8f782067afe49b263ee (patch) | |
| tree | c8524696c98f49e098826a93fafbe4ca3f4b1f58 /generic/proof-config.el | |
| parent | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (diff) | |
[ec mode]: update keywords
Diffstat (limited to 'generic/proof-config.el')
0 files changed, 0 insertions, 0 deletions