linguist-languages/data/Isabelle.js

Linguist languages data

module.exports = {
  name: 'Isabelle',
  type: 'programming',
  color: '#FEFE00',
  extensions: ['.thy'],
  tmScope: 'source.isabelle.theory',
  aceMode: 'text',
  languageId: 170,
}