src/Tools/VSCode/extension/isabelle-ml-language.json
author wenzelm
Tue Jan 03 17:24:41 2017 +0100 (2017-01-03)
changeset 64764 452b4fb7927c
parent 64752 c23c754f8c58
permissions -rw-r--r--
tuned whitespace;
wenzelm@64752
     1
{
wenzelm@64764
     2
  "comments": {
wenzelm@64764
     3
    "blockComment": [ "(*", "*)" ]
wenzelm@64764
     4
  },
wenzelm@64764
     5
  "brackets": [
wenzelm@64764
     6
    ["(", ")"],
wenzelm@64764
     7
    ["[", "]"],
wenzelm@64764
     8
    ["{", "}"]
wenzelm@64764
     9
  ],
wenzelm@64752
    10
  "autoClosingPairs": [
wenzelm@64752
    11
    { "open": "{", "close": "}" },
wenzelm@64752
    12
    { "open": "[", "close": "]" },
wenzelm@64752
    13
    { "open": "(", "close": ")" },
wenzelm@64752
    14
    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
wenzelm@64752
    15
  ],
wenzelm@64752
    16
  "surroundingPairs": [
wenzelm@64752
    17
    [ "{", "}" ],
wenzelm@64752
    18
    [ "[", "]" ],
wenzelm@64752
    19
    [ "(", ")" ],
wenzelm@64752
    20
    [ "\"", "\"" ]
wenzelm@64752
    21
  ]
wenzelm@64752
    22
}