diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-04-07 10:05:12 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-06-14 07:21:16 +0200 |
| commit | 165e3000844c1e84cc5c9d1b579a0a7dab8a3684 (patch) | |
| tree | 10ab27d72d6eee3a4a950edcef7543597fcb94a7 /vernac/indschemes.mli | |
| parent | bcaf9af83363f3e1a1c588271e5038984ee1760b (diff) | |
Add support for Coq 8.6.
Diffstat (limited to 'vernac/indschemes.mli')
0 files changed, 0 insertions, 0 deletions