src/Tools/VSCode/extension/isabelle-ml-language.json
author wenzelm
Fri, 10 Mar 2017 14:16:45 +0100
changeset 65172 365e97f009ed
parent 64764 452b4fb7927c
permissions -rw-r--r--
default cygwin_root from Isabelle distribution;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64752
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
     1
{
64764
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     2
  "comments": {
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     3
    "blockComment": [ "(*", "*)" ]
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     4
  },
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     5
  "brackets": [
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     6
    ["(", ")"],
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     7
    ["[", "]"],
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     8
    ["{", "}"]
452b4fb7927c tuned whitespace;
wenzelm
parents: 64752
diff changeset
     9
  ],
64752
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    10
  "autoClosingPairs": [
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    11
    { "open": "{", "close": "}" },
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    12
    { "open": "[", "close": "]" },
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    13
    { "open": "(", "close": ")" },
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    14
    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    15
  ],
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    16
  "surroundingPairs": [
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    17
    [ "{", "}" ],
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    18
    [ "[", "]" ],
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    19
    [ "(", ")" ],
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    20
    [ "\"", "\"" ]
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    21
  ]
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents:
diff changeset
    22
}