summaryrefslogtreecommitdiffhomepage
path: root/coq.html.markdown
Commit message (Collapse)AuthorAgeLines
* [coq/en] Fix code widthSimon Shine2019-11-26-88/+120
| | | | | | | Many lines exceed the 80 character limit that makes the code wrap around on the website. This mainly addresses comments. The comment style has been preserved. For the code lines that exceeded 80 characters, I have not adhered to any style.
* Back to coq highlightingAdam Bard2019-11-24-1/+1
|
* Try ocaml highlighting with coqAdam Bard2019-11-19-1/+1
|
* Add Coq tutorialphilzook582019-11-12-0/+478