vim-ivy - Syntax plugin for the IVy language : vim online

vim-ivy : Syntax plugin for the IVy language

script karma

Rating 16/4, Downloaded by 147

Comments, bugs, improvements

Vim wiki

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 .

script versions (upload new version)

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: 18.222.69.152




	If you have questions or remarks about this site, visit the vimonline development pages. Please use this site responsibly. Questions about Vim should go to the maillist. Help Bram help Uganda.	Vim at Github