changeset 64805 | d868f5c7a31c |
parent 64780 | 99e8f7d4936f |
child 64875 | 4efffde18a90 |
--- a/src/Tools/VSCode/extension/package.json Thu Jan 05 16:40:11 2017 +0100 +++ b/src/Tools/VSCode/extension/package.json Thu Jan 05 16:46:01 2017 +0100 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.3.0", + "version": "0.4.0", "publisher": "makarius", "license": "BSD-3-Clause", "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },