src/Tools/VSCode/extension/package.json
changeset 66598 e2671e8c476f
parent 66597 53dcc7454221
child 66673 1e4450008c47
     1.1 --- a/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:15:12 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Sat Sep 02 17:21:52 2017 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  {
     1.5 -    "name": "isabelle",
     1.6 -    "displayName": "Isabelle",
     1.7 +    "name": "Isabelle2017",
     1.8 +    "displayName": "Isabelle2017",
     1.9      "description": "Isabelle Prover IDE",
    1.10      "keywords": [
    1.11          "theorem prover",