changeset 71557 | 61ba52af28e3 |
parent 71506 | 4197e30040f3 |
child 73167 | 490ca65ecae2 |
--- a/src/Tools/VSCode/extension/package.json Sun Mar 15 11:57:59 2020 +0100 +++ b/src/Tools/VSCode/extension/package.json Sun Mar 15 13:20:22 2020 +0100 @@ -1,6 +1,6 @@ { - "name": "Isabelle2020", - "displayName": "Isabelle2020", + "name": "Isabelle", + "displayName": "Isabelle", "description": "Isabelle Prover IDE", "keywords": [ "theorem prover",