src/Tools/VSCode/extension/isabelle-ml-language.json
author wenzelm
Mon Jan 02 14:44:14 2017 +0100 (2017-01-02)
changeset 64752 c23c754f8c58
child 64764 452b4fb7927c
permissions -rw-r--r--
more specific isabelle-ml language support;
wenzelm@64752
     1
{
wenzelm@64752
     2
  "autoClosingPairs": [
wenzelm@64752
     3
    { "open": "{", "close": "}" },
wenzelm@64752
     4
    { "open": "[", "close": "]" },
wenzelm@64752
     5
    { "open": "(", "close": ")" },
wenzelm@64752
     6
    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
wenzelm@64752
     7
  ],
wenzelm@64752
     8
  "brackets": [
wenzelm@64752
     9
    ["(", ")"],
wenzelm@64752
    10
    ["[", "]"],
wenzelm@64752
    11
    ["{", "}"]
wenzelm@64752
    12
  ],
wenzelm@64752
    13
  "comments": {
wenzelm@64752
    14
    "blockComment": [ "(*", "*)" ]
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
}