author | wenzelm |
Wed, 15 Mar 2017 20:39:23 +0100 | |
changeset 65271 | 9dcd6574383b |
parent 65270 | ed8043342c9c |
child 65272 | 7611c55c39d0 |
--- a/src/Tools/VSCode/extension/package.json Wed Mar 15 19:46:19 2017 +0100 +++ b/src/Tools/VSCode/extension/package.json Wed Mar 15 20:39:23 2017 +0100 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.10.0", + "version": "0.11.0", "publisher": "makarius", "license": "MIT", "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },