src/Tools/VSCode/extension/isabelle-language.json
author wenzelm
Sun Jan 01 21:26:26 2017 +0100 (2017-01-01)
changeset 64736 07bf45283b92
parent 64605 src/Tools/VSCode/extension/language-configuration.json@9c1173a7e4cb
child 64751 f0057930d4c4
permissions -rw-r--r--
clarified file name;
     1 {
     2     "brackets": [
     3         ["(", ")"],
     4         ["[", "]"],
     5         ["{", "}"],
     6         ["<", ">"],
     7         ["«", "»"],
     8         ["‹", "›"],
     9         ["⟨", "⟩"],
    10         ["⌈", "⌉"],
    11         ["⌊", "⌋"],
    12         ["⦇", "⦈"],
    13         ["⟦", "⟧"],
    14         ["⦃", "⦄"]
    15     ]
    16 }