It will be a  Coq plugin for Netbeans if I mange to find time . Otherwise, it will be just another hello world plugin