changeset 68870 | 53a75627aab7 |
parent 68546 | 34d732a83767 |
child 68871 | f5c76072db55 |
--- a/src/Tools/VSCode/extension/package.json Sat Sep 01 17:16:36 2018 +0200 +++ b/src/Tools/VSCode/extension/package.json Sat Sep 01 18:39:36 2018 +0200 @@ -1,6 +1,6 @@ { - "name": "Isabelle2018", - "displayName": "Isabelle2018", + "name": "isabelle", + "displayName": "Isabelle", "description": "Isabelle Prover IDE", "keywords": [ "theorem prover",