linguist-languages/data/Isabelle ROOT.mjs

Linguist languages.yml in JSON format

export default {
  "name": "Isabelle ROOT",
  "type": "programming",
  "color": "#FEFE00",
  "group": "Isabelle",
  "filenames": [
    "ROOT"
  ],
  "tmScope": "source.isabelle.root",
  "aceMode": "text",
  "languageId": 171
}