diff options
| author | Pierre-Marie Pédrot | 2019-01-28 14:22:29 +0100 |
|---|---|---|
| committer | GitHub | 2019-01-28 14:22:29 +0100 |
| commit | 8ccd3f911e6cd6fd0b8aea9604085420cd13070a (patch) | |
| tree | bb292a81bf55ada860f76a335aca41455701ced0 /dev/include | |
| parent | 86eba733f8f4591cc38652cf9588cdbdc8f6743d (diff) | |
| parent | c9faee36005bea6add36b0eadb87af0f7439bb41 (diff) | |
Merge pull request coq/ltac2#94 from maximedenes/proof-mode
Adapt to Coq's new proof mode API
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions