the-lambda-church / coquille

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

Should pass arguments from `_CoqProject` to coqtop #63

Open nomeata opened 7 years ago

nomeata commented 7 years ago

My _CoqProject file contains arguments (such as -R . Namespace) that need to be passd to coqtop. Other IDEs do this, and I can do it manually by passing it to :CoqLaunch. It would be nice if I did not have to do this manually, though.

bluelightning32 commented 7 years ago

Done in https://github.com/the-lambda-church/coquille/pull/66