src/Tools/VSCode/extension/isabelle-language.json
author wenzelm
Tue Jan 03 17:33:08 2017 +0100 (2017-01-03)
changeset 64765 8ae1af3f88b1
parent 64764 452b4fb7927c
permissions -rw-r--r--
more language support;
     1 {
     2   "comments": {
     3     "blockComment": ["(*", "*)"]
     4   },
     5   "brackets": [
     6     ["(", ")"],
     7     ["[", "]"],
     8     ["{", "}"],
     9     ["«", "»"],
    10     ["‹", "›"],
    11     ["⟨", "⟩"],
    12     ["⌈", "⌉"],
    13     ["⌊", "⌋"],
    14     ["⦇", "⦈"],
    15     ["⟦", "⟧"],
    16     ["⦃", "⦄"]
    17   ],
    18   "autoClosingPairs": [
    19     { "open": "(", "close": ")" },
    20     { "open": "[", "close": "]" },
    21     { "open": "{", "close": "}" },
    22     { "open": "«", "close": "»" },
    23     { "open": "‹", "close": "›" },
    24     { "open": "⟨", "close": "⟩" },
    25     { "open": "⌈", "close": "⌉" },
    26     { "open": "⌊", "close": "⌋" },
    27     { "open": "⦇", "close": "⦈" },
    28     { "open": "⟦", "close": "⟧" },
    29     { "open": "⦃", "close": "⦄" },
    30     { "open": "`", "close": "`", "notIn": ["string"] },
    31     { "open": "\"", "close": "\"", "notIn": ["string"] }
    32   ],
    33   "surroundingPairs": [
    34     ["(", ")"],
    35     ["[", "]"],
    36     ["{", "}"],
    37     ["«", "»"],
    38     ["‹", "›"],
    39     ["⟨", "⟩"],
    40     ["⌈", "⌉"],
    41     ["⌊", "⌋"],
    42     ["⦇", "⦈"],
    43     ["⟦", "⟧"],
    44     ["⦃", "⦄"],
    45     ["`", "`"],
    46     ["\"", "\""]
    47   ]
    48 }