Otter.vim - Otter theorem prover input file highlighter : vim online

Otter.vim : Otter theorem prover input file highlighter

script karma

Rating 0/0, Downloaded by 563

Comments, bugs, improvements

Vim wiki

created by

steven vanhorn

script type

syntax

description

Highlight input files for the Otter theorem prover. ( http://www.mcs.anl.gov/research/projects/AR/otter/ )

install details

Put the following in your ~/.vimrc

au BufRead,BufNewFile *.in set filetype=otter
au! Syntax otter source /path/to/otter.vim

script versions (upload new version)

Click on the package to download.

package script version date Vim version user release notes

otter[1].vim 4.12.10 2010-04-12 6.0 steven vanhorn Initial upload

ip used for rating: 216.73.216.130




	Questions about Vim should go to the maillist. Help Uganda.	Vim at Github