--- a/src/Tools/VSCode/extension/isabelle-language.json Tue Jan 03 17:21:37 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-language.json Tue Jan 03 17:24:41 2017 +0100
@@ -1,18 +1,18 @@
{
- "brackets": [
- ["(", ")"],
- ["[", "]"],
- ["{", "}"],
- ["«", "»"],
- ["‹", "›"],
- ["⟨", "⟩"],
- ["⌈", "⌉"],
- ["⌊", "⌋"],
- ["⦇", "⦈"],
- ["⟦", "⟧"],
- ["⦃", "⦄"]
- ],
- "comments": {
- "blockComment": [ "(*", "*)" ]
- }
+ "comments": {
+ "blockComment": [ "(*", "*)" ]
+ },
+ "brackets": [
+ ["(", ")"],
+ ["[", "]"],
+ ["{", "}"],
+ ["«", "»"],
+ ["‹", "›"],
+ ["⟨", "⟩"],
+ ["⌈", "⌉"],
+ ["⌊", "⌋"],
+ ["⦇", "⦈"],
+ ["⟦", "⟧"],
+ ["⦃", "⦄"]
+ ]
}
--- a/src/Tools/VSCode/extension/isabelle-ml-language.json Tue Jan 03 17:21:37 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-ml-language.json Tue Jan 03 17:24:41 2017 +0100
@@ -1,18 +1,18 @@
{
+ "comments": {
+ "blockComment": [ "(*", "*)" ]
+ },
+ "brackets": [
+ ["(", ")"],
+ ["[", "]"],
+ ["{", "}"]
+ ],
"autoClosingPairs": [
{ "open": "{", "close": "}" },
{ "open": "[", "close": "]" },
{ "open": "(", "close": ")" },
{ "open": "\"", "close": "\"", "notIn": [ "string" ] }
],
- "brackets": [
- ["(", ")"],
- ["[", "]"],
- ["{", "}"]
- ],
- "comments": {
- "blockComment": [ "(*", "*)" ]
- },
"surroundingPairs": [
[ "{", "}" ],
[ "[", "]" ],