src/Tools/VSCode/extension/package.json
changeset 68870 53a75627aab7
parent 68546 34d732a83767
child 68871 f5c76072db55
     1.1 --- a/src/Tools/VSCode/extension/package.json	Sat Sep 01 17:16:36 2018 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Sat Sep 01 18:39:36 2018 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  {
     1.5 -    "name": "Isabelle2018",
     1.6 -    "displayName": "Isabelle2018",
     1.7 +    "name": "isabelle",
     1.8 +    "displayName": "Isabelle",
     1.9      "description": "Isabelle Prover IDE",
    1.10      "keywords": [
    1.11          "theorem prover",