github/linguist — pull request #1823 by lsf37 (2014-12-04 08:25:25+00:00)
Title: add support for Isabelle ROOT file syntax

This pull request adds support for Isabelle ROOT files. The Isabelle theory language is already part of linguist, ROOT files are additional files with different syntax, somewhat like Makefiles with automatic dependency analysis.

Sample file is included. Usage on github is for every larger Isabelle project, for instance:
https://github.com/seL4/l4v/blob/master/proof/ROOT
https://github.com/seL4/l4v/blob/master/spec/ROOT
https://github.com/seL4/l4v/blob/master/tools/autocorres/ROOT
https://github.com/seL4/isabelle/blob/master/src/HOL/ROOT
https://github.com/seL4/isabelle/blob/master/src/FOL/ROOT
etc

Ambiguity: there seem to be plenty of lowercase "root" or "Root" files on github for different languages, but I couldn't find any all caps "ROOT" (the name is also not mentioned in other languages linguist knows about).