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