diff -r 5f946e8887c5 -r ebaf9d01a964 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:38:06 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 09:39:00 2017 +0100
@@ -42,7 +42,7 @@
                     "default": "",
                     "description": "ISABELLE_HOME directory"
                 },
-                "isabelle.arguments": {
+                "isabelle.args": {
                     "type": "array",
                     "items": { "type": "string" },
                     "default": [],