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