linguist-languages/data/Isabelle.mjs

Linguist languages.yml in JSON format

export default {
  "name": "Isabelle",
  "type": "programming",
  "color": "#FEFE00",
  "extensions": [
    ".thy"
  ],
  "tmScope": "source.isabelle.theory",
  "aceMode": "text",
  "languageId": 170
}