search

the-lambda-church / coquille

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

where is vimbufsync module? #15

Closed osa1 closed 11 years ago

osa1 commented 11 years ago

I'm getting this error:

"Logic.v" 346L, 7797C
Error detected while processing /home/omer/rcbackup/.vim/bundle/coquille/autoload/coquille.vim:
line    5:
E117: Unknown function: vimbufsync#init
line   10:
Traceback (most recent call last):
  File "<string>", line 1, in <module>
  File "/home/omer/rcbackup/.vim/bundle/coquille/autoload/coquille.py", line 11, in <module>
    import vimbufsync
ImportError: No module named vimbufsync

I googled for that module but couldn't find anything.

osa1 commented 11 years ago

Sorry, please ignore :-)

hurlebouc commented 10 years ago

Hello! I'm sorry but I'm experimenting this error: could you tell me how you solved it?

trefis commented 10 years ago

https://github.com/the-lambda-church/coquille/blob/pathogen-bundle/README.md#installation

osa1 commented 10 years ago

Hi. Sorry, I don't remember how I solved it. It was probably a silly mistake made by me :-)

Ömer Sinan Ağacan http://osa1.net

2014-04-07 22:10 GMT+03:00 hurlebouc notifications@github.com:

Hello! I'm sorry but I'm experimenting this error: could you tell me how you solved it?

— Reply to this email directly or view it on GitHubhttps://github.com/the-lambda-church/coquille/issues/15#issuecomment-39770784 .

hurlebouc commented 10 years ago

Thank trefis and osa1 for your quick answers. I've just forgotten to install the dependency vimbufsync.