diff options
| author | Enrico Tassi | 2020-11-23 13:39:15 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-23 13:39:15 +0100 |
| commit | e6a25b8d4806cf968dbf6c33343ba1d1fb28ddf6 (patch) | |
| tree | f4010c0e566303cbc42b4b15f989a02651e549c1 /mathcomp/test_suite | |
| parent | d954da5acab8c1ed0786f05766e2161b5c09bcca (diff) | |
| parent | 1c03fed9bd5ab57b99405802f17d50ff0888f887 (diff) | |
Merge pull request #667 from CohenCyril/ssrcoq8.10
Using Coq 8.10 ssreflect new features
Diffstat (limited to 'mathcomp/test_suite')
0 files changed, 0 insertions, 0 deletions