comparison staging/index.html @ 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 1a231194d164
children c3d4217e1da7
comparison
equal deleted inserted replaced
566:1a231194d164 567:ec0ce5129fc4