--- a/src/Tools/VSCode/extension/package.json Sat Sep 23 20:09:16 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json Mon Sep 25 09:46:26 2017 +0200
@@ -1,6 +1,6 @@
{
- "name": "Isabelle2017",
- "displayName": "Isabelle2017",
+ "name": "isabelle",
+ "displayName": "Isabelle",
"description": "Isabelle Prover IDE",
"keywords": [
"theorem prover",
@@ -10,7 +10,7 @@
"document preparation"
],
"icon": "isabelle.png",
- "version": "1.0.0",
+ "version": "1.1.0",
"publisher": "makarius",
"license": "MIT",
"repository": {