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