coq plugins added