Support Coq 8.20

.github/workflows/coq-tests.yml

@@ -43,6 +43,7 @@ jobs:
           - '8.17'
           - '8.18'
           - '8.19'
+          - '8.20'
           - 'master'
         py_version: ['3.6']
     steps:

README.md

@@ -11,7 +11,7 @@ Coqtail enables interactive Coq proof development in Vim similar to [CoqIDE] or
 [ProofGeneral].
 
 It supports:
-- [Coq 8.4 - 8.19]
+- [Coq 8.4 - 8.20]
 - Python >=3.6 (see [here](#python-2-support) for older versions)
 - Vim >=7.4 and Neovim >=0.3
 - Simultaneous Coq sessions in different buffers
@@ -49,7 +49,7 @@ vim +PlugInstall +qa
 - 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]
+- [Coq 8.4 - 8.20]
 
 Newer versions of Coq have not yet been tested, but should still work as long as
 there are no major changes made to the [XML protocol].
@@ -306,7 +306,7 @@ See [YouCompleteMe] for help building Vim with Python 3 support.
 If you cannot upgrade Vim, the [python2] branch still supports older Pythons.
 
 [python2]: https://github.com/whonore/Coqtail/tree/python2
-[Coq 8.4 - 8.19]: https://coq.inria.fr/download
+[Coq 8.4 - 8.20]: https://coq.inria.fr/download
 [CoqIDE]: https://coq.inria.fr/refman/practical-tools/coqide.html
 [ProofGeneral]: https://proofgeneral.github.io/
 [XML protocol]: https://github.com/coq/coq/blob/master/dev/doc/xml-protocol.md

tox.ini

@@ -14,7 +14,7 @@ setenv = {[pybase]setenv}
 deps = {[pybase]deps}
 commands = python -m pytest -q tests/unit {posargs}
 
-[testenv:coq{,84,85,86,87,88,89,810,811,812,813,814,815,816,817,818,819,master}-py{36}]
+[testenv:coq{,84,85,86,87,88,89,810,811,812,813,814,815,816,817,818,819,820,master}-py{36}]
 description = Coq integration tests
 setenv =
     {[pybase]setenv}