ahf / twelf-syntax

Vim plug-in for the Twelf language.

http://twelf.org/wiki/Main_Page

vim vim-script vim-plugin twelf

This repository is not active

About

Vim plug-in for the Twelf language.

http://twelf.org/wiki/Main_Page

vim vim-script vim-plugin twelf

Languages

Language:Vim Script 100.0%