Gitstar Ranking

vim-scripts / Otter.vim

Otter theorem prover input file highlighter - View it on GitHub
http://www.vim.org/scripts/script.php?script_id=3054
Star
1
Rank
4954454