Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
`on update of {\tt \_CoqProject}` -> `when \textt{\_CoqProject} is updated`