src/Tools/VSCode/extension/isabelle-ml-language.json
changeset 64752 c23c754f8c58
child 64764 452b4fb7927c
equal deleted inserted replaced
64751:f0057930d4c4 64752:c23c754f8c58
       
     1 {
       
     2   "autoClosingPairs": [
       
     3     { "open": "{", "close": "}" },
       
     4     { "open": "[", "close": "]" },
       
     5     { "open": "(", "close": ")" },
       
     6     { "open": "\"", "close": "\"", "notIn": [ "string" ] }
       
     7   ],
       
     8   "brackets": [
       
     9     ["(", ")"],
       
    10     ["[", "]"],
       
    11     ["{", "}"]
       
    12   ],
       
    13   "comments": {
       
    14     "blockComment": [ "(*", "*)" ]
       
    15   },
       
    16   "surroundingPairs": [
       
    17     [ "{", "}" ],
       
    18     [ "[", "]" ],
       
    19     [ "(", ")" ],
       
    20     [ "\"", "\"" ]
       
    21   ]
       
    22 }