linguist-languages/data/Isabelle.d.ts

Linguist languages data

declare const _: {
  name: 'Isabelle'
  type: 'programming'
  color: '#FEFE00'
  extensions: ['.thy']
  tmScope: 'source.isabelle.theory'
  aceMode: 'text'
  languageId: 170
}
export = _