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/isabelle-language.json
author wenzelm
Mon, 02 Jan 2017 14:37:58 +0100
changeset 64751 f0057930d4c4
parent 64736 07bf45283b92
child 64764 452b4fb7927c
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
 
        ["⦃", "⦄"]
64751
wenzelm
parents: 64736
diff changeset 
    14
 
    ],
wenzelm
parents: 64736
diff changeset 
    15
 
    "comments": {
wenzelm
parents: 64736
diff changeset 
    16
 
        "blockComment": [ "(*", "*)" ]
wenzelm
parents: 64736
diff changeset 
    17
 
    }
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    18
 
}
isabelle