Mercurial > cpdt > repo

comparison src/CpdtTactics.v @ 567:ec0ce5129fc4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 ed829eaa91b2
children 1dc1d41620b6
comparison
equal deleted inserted replaced
566:1a231194d164 567:ec0ce5129fc4