diff -r f0057930d4c4 -r c23c754f8c58 src/Tools/VSCode/extension/isabelle-ml-language.json
--- /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": [
+    [ "{", "}" ],
+    [ "[", "]" ],
+    [ "(", ")" ],
+    [ "\"", "\"" ]
+  ]
+}