src/Tools/VSCode/extension/isabelle-ml-language.json
author desharna
Wed, 28 Jul 2021 14:16:19 +0200
changeset 74077 b93d8c2ebab0
parent 64764 452b4fb7927c
permissions -rw-r--r--
added automatic uniform stride option to Mirabelle

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