<!---
# SPDX-FileCopyrightText: © 2019-2022 Nadim Kobeissi <nadim@symbolic.software>
# SPDX-License-Identifier: CC-BY-SA-4.0
-->

# Verifpal Language Support for Vim

Verifpal language support for Vim.

## Installation Instructions

- Copy the contents of `filetype.vim` into your Vim folder (`~/.vim/` for Vim, `~/.config/nvim/` for Neovim).
- Copy `syntax/verifpal.vim` into `~/.vim/syntax/` for Vim, or `~/.config/nvim/syntax/` for Neovim.

You may have an existing `filetype.vim` in your Vim folder. If so, then ensure that you only copy the content of Verifpal's `filetype.vim` and that you do not overwrite your existing file.

## Features

- Verifpal syntax highlighting.

## License
Verifpal is published by Symbolic Software. It is provided as free and open source software, licensed under the [GNU General Public License, version 3](https://www.gnu.org/licenses/gpl-3.0.en.html). Other Verifpal materials are provided under the [Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)](https://creativecommons.org/licenses/by-nc-nd/4.0/) license.
