changeset 75149 | 105820b79d8f |
parent 75147 | f9d2a9e94138 |
child 75150 | 6f3f1e13e1e3 |
--- a/src/Tools/VSCode/extension/package.json Fri Feb 25 15:33:06 2022 +0100 +++ b/src/Tools/VSCode/extension/package.json Fri Feb 25 15:47:47 2022 +0100 @@ -1,5 +1,5 @@ { - "name": "isabelle-vscode", + "name": "isabelle", "displayName": "Isabelle/VSCode", "description": "Isabelle/VSCode Prover IDE", "keywords": [