src/Tools/VSCode/extension/package.json
changeset 68546 34d732a83767
parent 68449 6d0f1a5a16ea
child 68870 53a75627aab7
     1.1 --- a/src/Tools/VSCode/extension/package.json	Fri Jun 29 20:11:17 2018 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Jun 29 20:32:24 2018 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  {
     1.5 -    "name": "isabelle",
     1.6 -    "displayName": "Isabelle",
     1.7 +    "name": "Isabelle2018",
     1.8 +    "displayName": "Isabelle2018",
     1.9      "description": "Isabelle Prover IDE",
    1.10      "keywords": [
    1.11          "theorem prover",