search

the-lambda-church / coquille

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

Fix #46 #67

Open dwarfmaster opened 7 years ago

dwarfmaster commented 7 years ago

This is the continuation of my previous pull request #55 : it updates the way coquille handles Coq error messages to prevent python to fail on those messages.

neshkeev commented 7 years ago

It works for me. It would be great to see the commits in the main repository.

fangyi-zhou commented 7 years ago

I'm receiving parse xml errors in vim (random xml printed to terminal)

uuner commented 6 years ago

Please, integrate this change. Coquille does not work without it and works with it. Coq version 8.7.2 VIM version 8.0

tekknolagi commented 6 years ago

Also checking in that Coquille breaks without this.