diff --git a/README.md b/README.md index 996010d3..67a55f5f 100644 --- a/README.md +++ b/README.md @@ -46,7 +46,7 @@ vim +PlugInstall +qa ### Requirements -- Vim/Neovim compiled with `+python3` (3.6 or later) +- Vim compiled with `+python3` (3.6 or later) or the `pynvim` Python package for Neovim - Vim configuration options `filetype plugin on`, and optionally `filetype indent on` and `syntax on` (e.g. in `.vimrc`) - [Coq 8.4 - 8.19]