{
  "name": "Promela",
  "type": "programming",
  "color": "#de0000",
  "tmScope": "source.promela",
  "aceMode": "text",
  "extensions": [
    ".pml"
  ],
  "languageId": 441858312
}