jvoorhis/coq.vim

Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.

语言：VimL · GitHub 星标：15 · Fork：8

在 GitHub 上查看原仓库