IDE extensions for Proof General's Coq mode - View it on GitHub