github/linguist — pull request #125 by abevoelker (2012-02-17 16:54:24+00:00)
Title: Add detection for the Coq language - fixes #116

Tests won't pass 'til pygments.rb gets updated.