# HG changeset patch
# User wenzelm
# Date 1483364654 -3600
# Node ID c23c754f8c583c747de020e1f69105bd4df49e49
# Parent  f0057930d4c44943fb25109a6da1a2b417238dc4
more specific isabelle-ml language support;

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