src/Tools/VSCode/extension/isabelle-language.json
changeset 64764 452b4fb7927c
parent 64751 f0057930d4c4
child 64765 8ae1af3f88b1
     1.1 --- a/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:21:37 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:24:41 2017 +0100
     1.3 @@ -1,18 +1,18 @@
     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 -    "comments": {
    1.19 -        "blockComment": [ "(*", "*)" ]
    1.20 -    }
    1.21 +  "comments": {
    1.22 +    "blockComment": [ "(*", "*)" ]
    1.23 +  },
    1.24 +  "brackets": [
    1.25 +    ["(", ")"],
    1.26 +    ["[", "]"],
    1.27 +    ["{", "}"],
    1.28 +    ["«", "»"],
    1.29 +    ["‹", "›"],
    1.30 +    ["⟨", "⟩"],
    1.31 +    ["⌈", "⌉"],
    1.32 +    ["⌊", "⌋"],
    1.33 +    ["⦇", "⦈"],
    1.34 +    ["⟦", "⟧"],
    1.35 +    ["⦃", "⦄"]
    1.36 +  ]
    1.37  }