Create 2014-07-16-prettify-coq.md