declare const _: {
  name: 'Isabelle ROOT'
  type: 'programming'
  aceMode: 'text'
  filenames: ['ROOT']
  languageId: 171
  tmScope: 'source.isabelle.root'
  color: '#FEFE00'
  group: 'Isabelle'
}
export = _