src/Tools/VSCode/extension/isabelle-ml-language.json
changeset 64752 c23c754f8c58
child 64764 452b4fb7927c
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-ml-language.json	Mon Jan 02 14:44:14 2017 +0100
     1.3 @@ -0,0 +1,22 @@
     1.4 +{
     1.5 +  "autoClosingPairs": [
     1.6 +    { "open": "{", "close": "}" },
     1.7 +    { "open": "[", "close": "]" },
     1.8 +    { "open": "(", "close": ")" },
     1.9 +    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
    1.10 +  ],
    1.11 +  "brackets": [
    1.12 +    ["(", ")"],
    1.13 +    ["[", "]"],
    1.14 +    ["{", "}"]
    1.15 +  ],
    1.16 +  "comments": {
    1.17 +    "blockComment": [ "(*", "*)" ]
    1.18 +  },
    1.19 +  "surroundingPairs": [
    1.20 +    [ "{", "}" ],
    1.21 +    [ "[", "]" ],
    1.22 +    [ "(", ")" ],
    1.23 +    [ "\"", "\"" ]
    1.24 +  ]
    1.25 +}