| camlanot.vim |
Ocaml support for type annotation files, included support for ocamlbuild |
| coq syntax |
syntax colouring for coq files |
| Coq indent |
Indentation for coq files |
| Melt Vim |
Plugin for Melt files |
| beluga-syntax |
Syntax for Beluga fles (http://www.cs.mcgill.ca/~complogic/beluga/) |
| tac-syntax |
Syntax for Tac files (http://slimmer.gforge.inria.fr/tac/) |
aravantinos
gmail