coq/coq — pull request #37 by pirbo (2014-09-02 16:29:45+00:00)
Title: Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...