# HG changeset patch
# User wenzelm
# Date 1483460681 -3600
# Node ID 452b4fb7927c089a98c7ff4d0daa4464449cc93d
# Parent  20e498a28f5e39a767ea0dd21cdadd0b15a33eac
tuned whitespace;

diff -r 20e498a28f5e -r 452b4fb7927c src/Tools/VSCode/extension/isabelle-language.json
--- a/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:21:37 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:24:41 2017 +0100
@@ -1,18 +1,18 @@
 {
-    "brackets": [
-        ["(", ")"],
-        ["[", "]"],
-        ["{", "}"],
-        ["«", "»"],
-        ["‹", "›"],
-        ["⟨", "⟩"],
-        ["⌈", "⌉"],
-        ["⌊", "⌋"],
-        ["⦇", "⦈"],
-        ["⟦", "⟧"],
-        ["⦃", "⦄"]
-    ],
-    "comments": {
-        "blockComment": [ "(*", "*)" ]
-    }
+  "comments": {
+    "blockComment": [ "(*", "*)" ]
+  },
+  "brackets": [
+    ["(", ")"],
+    ["[", "]"],
+    ["{", "}"],
+    ["«", "»"],
+    ["‹", "›"],
+    ["⟨", "⟩"],
+    ["⌈", "⌉"],
+    ["⌊", "⌋"],
+    ["⦇", "⦈"],
+    ["⟦", "⟧"],
+    ["⦃", "⦄"]
+  ]
 }
diff -r 20e498a28f5e -r 452b4fb7927c src/Tools/VSCode/extension/isabelle-ml-language.json
--- a/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:21:37 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:24:41 2017 +0100
@@ -1,18 +1,18 @@
 {
+  "comments": {
+    "blockComment": [ "(*", "*)" ]
+  },
+  "brackets": [
+    ["(", ")"],
+    ["[", "]"],
+    ["{", "}"]
+  ],
   "autoClosingPairs": [
     { "open": "{", "close": "}" },
     { "open": "[", "close": "]" },
     { "open": "(", "close": ")" },
     { "open": "\"", "close": "\"", "notIn": [ "string" ] }
   ],
-  "brackets": [
-    ["(", ")"],
-    ["[", "]"],
-    ["{", "}"]
-  ],
-  "comments": {
-    "blockComment": [ "(*", "*)" ]
-  },
   "surroundingPairs": [
     [ "{", "}" ],
     [ "[", "]" ],