Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/language-configuration.json
author wenzelm
Sun, 01 Jan 2017 20:24:19 +0100
changeset 64735 4ad6d21545bd
parent 64605 9c1173a7e4cb
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     1
 
{
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     2
 
    "brackets": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     3
 
        ["(", ")"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     4
 
        ["[", "]"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     5
 
        ["{", "}"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     6
 
        ["<", ">"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     7
 
        ["«", "»"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     8
 
        ["‹", "›"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     9
 
        ["⟨", "⟩"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    10
 
        ["⌈", "⌉"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    11
 
        ["⌊", "⌋"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    12
 
        ["⦇", "⦈"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    13
 
        ["⟦", "⟧"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    14
 
        ["⦃", "⦄"]
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    15
 
    ]
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    16
 
}
isabelle