Skip to content
This repository has been archived by the owner on Sep 20, 2023. It is now read-only.

Coq: coqtop

LCD 47 edited this page Jun 12, 2016 · 6 revisions

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 [email protected]

See the project's page for details.

Clone this wiki locally