src/Tools/VSCode/extension/isabelle-ml-language.json
author wenzelm
Wed, 25 Jan 2017 23:08:29 +0100
changeset 64948 e655d965307c
parent 64764 452b4fb7927c
permissions -rw-r--r--
tuned;

{
  "comments": {
    "blockComment": [ "(*", "*)" ]
  },
  "brackets": [
    ["(", ")"],
    ["[", "]"],
    ["{", "}"]
  ],
  "autoClosingPairs": [
    { "open": "{", "close": "}" },
    { "open": "[", "close": "]" },
    { "open": "(", "close": ")" },
    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
  ],
  "surroundingPairs": [
    [ "{", "}" ],
    [ "[", "]" ],
    [ "(", ")" ],
    [ "\"", "\"" ]
  ]
}