src/Tools/VSCode/extension/isabelle-ml-language.json
author wenzelm
Mon Jan 02 14:44:14 2017 +0100 (2017-01-02)
changeset 64752 c23c754f8c58
child 64764 452b4fb7927c
permissions -rw-r--r--
more specific isabelle-ml language support;
     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 }