changeset 64695 | 135313951082 |
parent 64605 | 9c1173a7e4cb |
child 64696 | e991a4fab0dc |
--- a/src/Tools/VSCode/extension/package.json Wed Dec 28 20:42:28 2016 +0100 +++ b/src/Tools/VSCode/extension/package.json Wed Dec 28 21:24:33 2016 +0100 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.0.1", + "version": "0.1.0", "publisher": "Makarius", "license": "BSD-3-Clause", "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },