This project is read-only.

Coq Integration v0.1

Rating: No reviews yet
Downloads: 4
Released: Apr 19, 2012
Updated: May 5, 2012 by Xenik
Dev status: Alpha Help Icon

Recommended Download

application, 774K, uploaded Apr 19, 2012 - 4 downloads

Release Notes

The first release of the Coq MonoDevelop integration. Please excuse the clunky installation.

Install Guide:
  1. Copy the files into the MonoDevelop\AddIns\BackendBindings directory.
  2. Copy the Coq folder into this directory or Create a symlink to that directory (more information in the readme file)

Reviews for this release

No reviews yet for this release.