github/linguist — pull request #1800 by arfon (2014-12-01 03:53:55+00:00)
Title: Isabelle grammar

Replaces https://github.com/github/linguist/pull/1793