src/Tools/VSCode/extension/package.json
changeset 64743 ebaf9d01a964
parent 64738 bcdecd466cb2
child 64749 2450b62574c6
     1.1 --- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:38:06 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:39:00 2017 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4                      "default": "",
     1.5                      "description": "ISABELLE_HOME directory"
     1.6                  },
     1.7 -                "isabelle.arguments": {
     1.8 +                "isabelle.args": {
     1.9                      "type": "array",
    1.10                      "items": { "type": "string" },
    1.11                      "default": [],