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