diff src/LICENSE @ 567:ec0ce5129fc4

Switch to new approach to supporting newer Coq versions while still building with patched Coq 8.4
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Jan 2019 15:00:32 -0500
parents 136d4b84eb96
children
line wrap: on
line diff