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;
wenzelm@64605
     1
{
wenzelm@64605
     2
    "brackets": [
wenzelm@64605
     3
        ["(", ")"],
wenzelm@64605
     4
        ["[", "]"],
wenzelm@64605
     5
        ["{", "}"],
wenzelm@64605
     6
        ["<", ">"],
wenzelm@64605
     7
        ["«", "»"],
wenzelm@64605
     8
        ["‹", "›"],
wenzelm@64605
     9
        ["⟨", "⟩"],
wenzelm@64605
    10
        ["⌈", "⌉"],
wenzelm@64605
    11
        ["⌊", "⌋"],
wenzelm@64605
    12
        ["⦇", "⦈"],
wenzelm@64605
    13
        ["⟦", "⟧"],
wenzelm@64605
    14
        ["⦃", "⦄"]
wenzelm@64605
    15
    ]
wenzelm@64605
    16
}