4 Commits

Author	SHA1	Message	Date
Simon Shine	672b3804f9	[coq/en] Fix code width ... 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.	2019-11-26 14:11:46 +01:00
Adam Bard	06e05c4ce3	Back to coq highlighting	2019-11-24 13:39:20 -08:00
Adam Bard	f1d03b0318	Try ocaml highlighting with coq	2019-11-19 11:18:49 -08:00
philzook58	e81c081dc3	Add Coq tutorial	2019-11-12 00:02:53 -05:00