more specific isabelle-ml language support;
authorwenzelm
Mon Jan 02 14:44:14 2017 +0100 (2017-01-02)
changeset 64752c23c754f8c58
parent 64751 f0057930d4c4
child 64753 79ed396709e4
more specific isabelle-ml language support;
src/Tools/VSCode/extension/isabelle-ml-language.json
src/Tools/VSCode/extension/package.json
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-ml-language.json	Mon Jan 02 14:44:14 2017 +0100
     1.3 @@ -0,0 +1,22 @@
     1.4 +{
     1.5 +  "autoClosingPairs": [
     1.6 +    { "open": "{", "close": "}" },
     1.7 +    { "open": "[", "close": "]" },
     1.8 +    { "open": "(", "close": ")" },
     1.9 +    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
    1.10 +  ],
    1.11 +  "brackets": [
    1.12 +    ["(", ")"],
    1.13 +    ["[", "]"],
    1.14 +    ["{", "}"]
    1.15 +  ],
    1.16 +  "comments": {
    1.17 +    "blockComment": [ "(*", "*)" ]
    1.18 +  },
    1.19 +  "surroundingPairs": [
    1.20 +    [ "{", "}" ],
    1.21 +    [ "[", "]" ],
    1.22 +    [ "(", ")" ],
    1.23 +    [ "\"", "\"" ]
    1.24 +  ]
    1.25 +}
     2.1 --- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:37:58 2017 +0100
     2.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:44:14 2017 +0100
     2.3 @@ -33,7 +33,7 @@
     2.4                  "id": "isabelle-ml",
     2.5                  "aliases": ["Isabelle/ML"],
     2.6                  "extensions": [".ML"],
     2.7 -                "configuration": "./isabelle-language.json"
     2.8 +                "configuration": "./isabelle-ml-language.json"
     2.9              }
    2.10  
    2.11          ],