search

the-lambda-church / coquille

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

Accidentally re-running CoqLaunch #1

Closed elliottt closed 11 years ago

elliottt commented 11 years ago

Accidentally re-running CoqLaunch adds the splits in the current buffer again, is there a way to detect that it's already been run, or treat this as CoqKill; CoqLaunch?

elliottt commented 11 years ago

Thanks!

trefis commented 11 years ago

I didn't think about it, but yes that was an undesired behavior. I pushed a fix.

Thank you!