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

export default _