diff options
| author | Emilio Jesus Gallego Arias | 2017-11-21 14:15:37 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-11-21 14:19:23 +0100 |
| commit | d0305718b4141aa08675743d4f85238301f37ad7 (patch) | |
| tree | fadd301a9312d807f3b4f6650a9c6202103c4dc1 /doc/plugin_tutorial | |
| parent | f773caf67f46bdaf80d9fd13f49b53c9a21cb091 (diff) | |
[coq] Adapt to Coq's new functional EXTEND API.
See https://github.com/coq/coq/pull/6197
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions