Coq: coqtop

This file is no longer maintained

This file exists only as a historic reference. Documentation for syntastic checkers is now included in the manual, please see :help syntastic-checkers in Vim.

---

Maintainer: Matvey Aksenov matvey.aksenov@gmail.com

See the project's page for details.