# HG changeset patch # User wenzelm # Date 1489183793 -3600 # Node ID 883acfccb265623cd942eb5af942ed070e601522 # Parent c4def7e9cfad6e0cd9672e3310fc0b1b2e2407f0 updated package; diff -r c4def7e9cfad -r 883acfccb265 src/Tools/VSCode/extension/package.json --- a/src/Tools/VSCode/extension/package.json Fri Mar 10 23:02:10 2017 +0100 +++ b/src/Tools/VSCode/extension/package.json Fri Mar 10 23:09:53 2017 +0100 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.8.0", + "version": "0.9.0", "publisher": "makarius", "license": "MIT", "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },