search

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
ISC License
186 stars 68 forks source link

Support Coq 8.9.0 #76

Open coord-e opened 5 years ago

coord-e commented 5 years ago

This PR contains a simple fix to use coqidetop to support coq v8.9.0. Also this will fix #75 in pathogen-bundle branch.