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