Merge branch 'master' of github.com:benediktahrens/rezk_completion
update .gitignore
Merge branch 'master' of github.com:DanGrayson/rezk_completion
Merge branch 'master' of github.com:benediktahrens/rezk_completion
maintain compatibility with coq 8.4, patched
Merge pull request #6 from DanGrayson/master

compatibility with coq 8.4
Merge branch 'for-coq-8.4' of https://github.com/DanGrayson/rezk_completion