changeset 65169 | a8dfa258bf93 |
parent 65165 | d98ede9e5917 |
child 65172 | 365e97f009ed |
--- a/src/Tools/VSCode/extension/package.json Thu Mar 09 21:25:01 2017 +0100 +++ b/src/Tools/VSCode/extension/package.json Thu Mar 09 21:55:02 2017 +0100 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.7.0", + "version": "0.8.0", "publisher": "makarius", "license": "MIT", "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },