highlight coq code
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
No commit message