src/Tools/VSCode/extension/isabelle-language.json
changeset 64736 07bf45283b92
parent 64605 9c1173a7e4cb
child 64751 f0057930d4c4
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-language.json	Sun Jan 01 21:26:26 2017 +0100
     1.3 @@ -0,0 +1,16 @@
     1.4 +{
     1.5 +    "brackets": [
     1.6 +        ["(", ")"],
     1.7 +        ["[", "]"],
     1.8 +        ["{", "}"],
     1.9 +        ["<", ">"],
    1.10 +        ["«", "»"],
    1.11 +        ["‹", "›"],
    1.12 +        ["⟨", "⟩"],
    1.13 +        ["⌈", "⌉"],
    1.14 +        ["⌊", "⌋"],
    1.15 +        ["⦇", "⦈"],
    1.16 +        ["⟦", "⟧"],
    1.17 +        ["⦃", "⦄"]
    1.18 +    ]
    1.19 +}