diff options
author | Jason Gross <jgross@mit.edu> | 2017-07-08 20:35:50 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-07-08 20:35:50 -0400 |
commit | 067be37f5631aba329294d22d4f773246dc95bf1 (patch) | |
tree | c45ca57f42e3bed36818344f160513b16fd77fb7 /AUTHORS | |
parent | 019a8f76f210c97b56db52964ff022f9e56aee4a (diff) |
Also test coq v8.7 on travis
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions