Raynes/refheap — pull request #101 by tsion (2012-11-03 23:25:54+00:00)
Title: Add the Coq language to the list of lexers

[Coq](http://coq.inria.fr) is an interactive theorem proving language. It uses the same extension `.v` as Verilog. Is this a problem?