mkolosick/Sublime-Coq — pull request #3 by viveknigam (2014-12-17 08:19:24+00:00)
Title: Corrections

Hi Peter,

I am still new to github, so bare a bit of patience with me in the first steps. I have already cloned the files and created a fork. So, I guess that I have to push it to GIT and for that I need your permission. I guess this pull request is for doing this, right?

Thanks,

Vivek