diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-20 10:36:22 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-20 10:36:22 +0200 |
commit | c96c50577569c6077c42e756bbf12d31d9c82717 (patch) | |
tree | 2e7860e93e2b11d2c0e7849f939f1054d4841321 /arm/Machregsaux.ml | |
parent | b4f59c4773206fbdf850611e6bbac1767d459dd5 (diff) | |
download | compcert-c96c50577569c6077c42e756bbf12d31d9c82717.tar.gz compcert-c96c50577569c6077c42e756bbf12d31d9c82717.zip |
Coq 8.7.0 support
configure: accept Coq 8.7.0 and 8.6.1.
(Coq 8.6 became incompatible with commit b4f59c4.)
Changelog: updated.
Diffstat (limited to 'arm/Machregsaux.ml')
0 files changed, 0 insertions, 0 deletions