more specific isabelle-ml language support;

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/VSCode/extension/isabelle-ml-language.json	Mon Jan 02 14:44:14 2017 +0100
@@ -0,0 +1,22 @@
+{
+  "autoClosingPairs": [
+    { "open": "{", "close": "}" },
+    { "open": "[", "close": "]" },
+    { "open": "(", "close": ")" },
+    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
+  ],
+  "brackets": [
+    ["(", ")"],
+    ["[", "]"],
+    ["{", "}"]
+  ],
+  "comments": {
+    "blockComment": [ "(*", "*)" ]
+  },
+  "surroundingPairs": [
+    [ "{", "}" ],
+    [ "[", "]" ],
+    [ "(", ")" ],
+    [ "\"", "\"" ]
+  ]
+}

--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:37:58 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:44:14 2017 +0100
@@ -33,7 +33,7 @@
                 "id": "isabelle-ml",
                 "aliases": ["Isabelle/ML"],
                 "extensions": [".ML"],
-                "configuration": "./isabelle-language.json"
+                "configuration": "./isabelle-ml-language.json"
             }
 
         ],