Basic vim plugin for Twelf.