created by

Nathan Taylor

script type

syntax

description

This is a syntax plugin for Microsoft Research's IVy protocol verification language.  You can find out more about IVy and its use-cases here: http://microsoft.github.io/ivy/ This page contains a tarball derived from the plugin's Git repository: https://github.com/dijkstracula/vim-ivy .

install details

Please consult the "installation" section of the plugin's README for up-to-date details: https://github.com/dijkstracula/vim-ivy/blob/main/README.md#installation .

Click on the package to download.

package	script version	date	Vim version	user	release notes
vim-ivy.tar.gz	0.0.1	2021-12-21	7.0	Nathan Taylor	Initial upload

ip used for rating: 216.73.216.130