not logged in (
login
)
Home
Advanced search
About Vim
Community
News
Sponsoring
Trivia
Documentation
Download
Scripts
Tips
My Account
Site Help
Otter.vim : Otter theorem prover input file highlighter
script karma
Rating
0/0
, Downloaded by 437
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
rate this script
Life Changing
Helpful
Unfulfilling
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: 13.59.100.42
If you have questions or remarks about this site, visit the
vimonline development
pages. Please use this site responsibly.
Questions about
Vim
should go to the
maillist
. Help Bram
help Uganda
.
Vim at Github
