jashkenas/docco — pull request #177 by kelleyvanevert (2013-03-25 12:46:41+00:00)
Title: Added Mizar (.miz and .voc files) to language list

Hi!

I added Mizar files (.miz and .voc) files to the language list.
Mizar is a language and system for checking mathematical proofs, btw: http://mizar.org/

Cheers!
Kelley