search

walkie / twelf-vim

Basic vim plugin for Twelf.
1 stars 0 forks source link

Support to .thm files #1

Open tomaz1502 opened 3 years ago

tomaz1502 commented 3 years ago

The pluggin is nice, but it only supports .elf files. It would be good to add .thm files in twelf.vim at ftdetect.

walkie commented 3 years ago

I'm not actually using Twelf, but a super quick look at the docs for the theorem prover suggests this might not be too difficult.

Would it be enough to just add the additional keywords specified in the guide, then add .thm to ftdetect? Or is the syntax of .thm files completely different?