changeset 73542 | e4fde6b3e09a |
parent 73540 | a69197959ab6 |
child 73543 | f8c6c45cb112 |
--- a/src/Tools/VSCode/extension/package.json Wed Apr 07 18:05:48 2021 +0200 +++ b/src/Tools/VSCode/extension/package.json Wed Apr 07 18:13:02 2021 +0200 @@ -1,6 +1,6 @@ { - "name": "Isabelle2021", - "displayName": "Isabelle2021", + "name": "Isabelle", + "displayName": "Isabelle", "description": "Isabelle Prover IDE", "keywords": [ "theorem prover",