bbatsov/zenburn-emacs — pull request #138 by aroig (2013-11-03 23:56:19+00:00)
Title: Coq and proofgeneral themes

Add color theme for coq (a proof asisstant) and proofgeneral (a frontend for several proof assistants).