A bare-bones vim plugin for Twelf. Provides only filetype detection and syntax highlighting.
Adapted from the .vim files included in the Twelf distribution. This version
adheres better to convention, plays nice with more configurations, and works
with vim plugin managers.