diff options
| author | Pierre Courtieu | 2015-09-29 10:41:48 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-09-29 13:22:21 +0200 |
| commit | 8f984a7272de74d8a88cffcef2ca6160d710b335 (patch) | |
| tree | b229a2ef91bf3dede68941dac526c67a10324b2a /generic/proof-script.el | |
| parent | bb5ea22b62d337eebb04aa17ca9bd0e6893b90e4 (diff) | |
Cleaned TODO file in coq/.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions