github/linguist — pull request #202 by seldridge (2012-07-20 18:28:10+00:00)
Title: New Coq / Verilog Samples (see #201)

New Verilog examples and Coq examples for additional training have
been added since linguist is currently failing Coq/Verilog recognition
tasks (see #201). In case it wasn't obvious, linguist will not
currently pass these new, added test cases.