src/Tools/VSCode/extension/isabelle-language.json
changeset 64736 07bf45283b92
parent 64605 9c1173a7e4cb
child 64751 f0057930d4c4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/VSCode/extension/isabelle-language.json	Sun Jan 01 21:26:26 2017 +0100
@@ -0,0 +1,16 @@
+{
+    "brackets": [
+        ["(", ")"],
+        ["[", "]"],
+        ["{", "}"],
+        ["<", ">"],
+        ["«", "»"],
+        ["‹", "›"],
+        ["⟨", "⟩"],
+        ["⌈", "⌉"],
+        ["⌊", "⌋"],
+        ["⦇", "⦈"],
+        ["⟦", "⟧"],
+        ["⦃", "⦄"]
+    ]
+}