changeset 68546 | 34d732a83767 |
parent 68449 | 6d0f1a5a16ea |
child 68870 | 53a75627aab7 |
--- a/src/Tools/VSCode/extension/package.json Fri Jun 29 20:11:17 2018 +0200 +++ b/src/Tools/VSCode/extension/package.json Fri Jun 29 20:32:24 2018 +0200 @@ -1,6 +1,6 @@ { - "name": "isabelle", - "displayName": "Isabelle", + "name": "Isabelle2018", + "displayName": "Isabelle2018", "description": "Isabelle Prover IDE", "keywords": [ "theorem prover",