diff options
| author | Pierre Courtieu | 2016-06-08 15:06:52 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2016-06-08 15:06:52 +0200 |
| commit | f014a3e98bf916c78b6916b893b5c07fcf7e8be7 (patch) | |
| tree | 2e71385295d4ee98628a11cd5e3ec996f3d3c739 /generic/proof-script.el | |
| parent | 86afe9ba314da0f39a7526cdb34a3972beb075e2 (diff) | |
abbrev twivking.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions