src/Tools/VSCode/extension/isabelle-language.json
author wenzelm
Tue Jan 03 17:24:41 2017 +0100 (2017-01-03)
changeset 64764 452b4fb7927c
parent 64751 f0057930d4c4
child 64765 8ae1af3f88b1
permissions -rw-r--r--
tuned whitespace;
     1 {
     2   "comments": {
     3     "blockComment": [ "(*", "*)" ]
     4   },
     5   "brackets": [
     6     ["(", ")"],
     7     ["[", "]"],
     8     ["{", "}"],
     9     ["«", "»"],
    10     ["‹", "›"],
    11     ["⟨", "⟩"],
    12     ["⌈", "⌉"],
    13     ["⌊", "⌋"],
    14     ["⦇", "⦈"],
    15     ["⟦", "⟧"],
    16     ["⦃", "⦄"]
    17   ]
    18 }