diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-11-22 17:12:58 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-06-14 07:19:50 +0200 |
commit | daf5335b18c926d7130cd28e50f00cc49c4011f6 (patch) | |
tree | f45377ea4597a3ba7699fa2e8b77046c7adc9b75 /doc/stdlib | |
parent | 571c319ed536cb2757176d3ae4007a75f5d3b04d (diff) |
Remove support for Coq 8.3.
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions