github/linguist — pull request #1715 by jokeofweek (2014-11-14 19:35:32+00:00)
Title: Added Promela language definition to languages.yml

Hi everyone,

Just thought I would add Promela (http://en.wikipedia.org/wiki/Promela) to the list. It's a pretty well-known model checking language.

Thanks!