Permalink
Commits on Jan 16, 2013
  1. Merge pull request #1 from Ceasar/master

    Fix installation instructions
    committed Jan 16, 2013
  2. Correct installation instructions

    `.vim`, not `.git`
    Ceasar committed Jan 16, 2013
Commits on Feb 6, 2012
  1. Update README.markdown

    committed Feb 6, 2012
  2. Created easy, pathogen-compatible distribution of Vicent Aravantinos'…

    … vim scripts for Coq.
    committed Feb 6, 2012