Coq Integration v0.11

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

Recommended Download

Application CoqIntegration.zip
application, 776K, uploaded May 5, 2012 - 8 downloads

Release Notes

The second release of the Coq MonoDevelop integration.

Changes:
  • Error recovery added from unparsable code.
  • Tooltips fixed.

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.