src/Tools/VSCode/extension/isabelle-language.json
changeset 64751 f0057930d4c4
parent 64736 07bf45283b92
child 64764 452b4fb7927c
     1.1 --- a/src/Tools/VSCode/extension/isabelle-language.json	Mon Jan 02 14:25:46 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-language.json	Mon Jan 02 14:37:58 2017 +0100
     1.3 @@ -3,7 +3,6 @@
     1.4          ["(", ")"],
     1.5          ["[", "]"],
     1.6          ["{", "}"],
     1.7 -        ["<", ">"],
     1.8          ["«", "»"],
     1.9          ["‹", "›"],
    1.10          ["⟨", "⟩"],
    1.11 @@ -12,5 +11,8 @@
    1.12          ["⦇", "⦈"],
    1.13          ["⟦", "⟧"],
    1.14          ["⦃", "⦄"]
    1.15 -    ]
    1.16 +    ],
    1.17 +    "comments": {
    1.18 +        "blockComment": [ "(*", "*)" ]
    1.19 +    }
    1.20  }