src/Tools/VSCode/extension/isabelle-ml-language.json
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (7 weeks ago)
changeset 69981 3dced198b9ec
parent 64764 452b4fb7927c
permissions -rw-r--r--
more strict AFP properties;
     1 {
     2   "comments": {
     3     "blockComment": [ "(*", "*)" ]
     4   },
     5   "brackets": [
     6     ["(", ")"],
     7     ["[", "]"],
     8     ["{", "}"]
     9   ],
    10   "autoClosingPairs": [
    11     { "open": "{", "close": "}" },
    12     { "open": "[", "close": "]" },
    13     { "open": "(", "close": ")" },
    14     { "open": "\"", "close": "\"", "notIn": [ "string" ] }
    15   ],
    16   "surroundingPairs": [
    17     [ "{", "}" ],
    18     [ "[", "]" ],
    19     [ "(", ")" ],
    20     [ "\"", "\"" ]
    21   ]
    22 }