linguist-languages/data/Isabelle.js

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