The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

> > Very interesting, thanks. Is there documentation somewhere on how  
> > to write
> > plugins?
You can find an attempt to get a minimal & commented example of  
plugins for coq at https://github.com/braibant/coq-tutorial-ml-tactics
Questions/remark in order to improve it are welcome...

All the best,
Pierre.