author | wenzelm |
Wed, 25 Jan 2017 23:09:06 +0100 | |
changeset 64949 | 09b872c58c32 |
parent 64948 | e655d965307c |
child 64950 | 10b8d31634cc |
--- a/src/Tools/VSCode/extension/package.json Wed Jan 25 23:08:29 2017 +0100 +++ b/src/Tools/VSCode/extension/package.json Wed Jan 25 23:09:06 2017 +0100 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.5.0", + "version": "0.6.0", "publisher": "makarius", "license": "BSD-3-Clause", "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },