Merge pull request #194 from jaebradley/update-languages-1590181145216

Update Languages File

Author: jaebradley

src/languages.json

@@ -1827,6 +1827,25 @@
     "wrap": "false",
     "searchable": "true"
   },
+  {
+    "type": "programming",
+    "color": "#FFEC25",
+    "extensions": [
+      ".dfy"
+    ],
+    "interpreters": [
+      "dafny"
+    ],
+    "tmScope": "text.dfy.dafny",
+    "aceMode": "text",
+    "languageId": 969323346,
+    "name": "Dafny",
+    "aliases": [
+      "dafny"
+    ],
+    "wrap": "false",
+    "searchable": "true"
+  },
   {
     "type": "data",
     "aliases": [
@@ -3837,7 +3856,8 @@
   {
     "type": "programming",
     "extensions": [
-      ".iss"
+      ".iss",
+      ".isl"
     ],
     "tmScope": "source.inno",
     "aceMode": "text",
@@ -5098,6 +5118,26 @@
     "wrap": "false",
     "searchable": "true"
   },
+  {
+    "type": "programming",
+    "extensions": [
+      ".m2"
+    ],
+    "aliases": [
+      "m2",
+      "macaulay2"
+    ],
+    "interpreters": [
+      "M2"
+    ],
+    "aceMode": "text",
+    "tmScope": "source.macaulay2",
+    "color": "#d8ffff",
+    "languageId": 34167825,
+    "name": "Macaulay2",
+    "wrap": "false",
+    "searchable": "true"
+  },
   {
     "type": "programming",
     "color": "#427819",