src/Tools/VSCode/extension/package.json

--- a/src/Tools/VSCode/extension/package.json	Sat May 11 15:53:11 2019 +0200
+++ b/src/Tools/VSCode/extension/package.json	Sat May 11 19:08:26 2019 +0200
@@ -1,6 +1,6 @@
 {
-    "name": "Isabelle2019",
-    "displayName": "Isabelle2019",
+    "name": "Isabelle",
+    "displayName": "Isabelle",
     "description": "Isabelle Prover IDE",
     "keywords": [
         "theorem prover",