Coqoon

Coqoon: eclipse plugin providing a feature-complete development environment for Coq.