# HG changeset patch # User wenzelm # Date 1498764454 -7200 # Node ID 186069cfb9ba9a0642737b7c4cb77fb27036ad6a # Parent e6b7edd12f057ff9c7aa202c3eb51ea3f60adbc2 updated package; diff -r e6b7edd12f05 -r 186069cfb9ba src/Tools/VSCode/extension/package.json --- a/src/Tools/VSCode/extension/package.json Thu Jun 29 21:09:39 2017 +0200 +++ b/src/Tools/VSCode/extension/package.json Thu Jun 29 21:27:34 2017 +0200 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.15.0", + "version": "0.16.0", "publisher": "makarius", "license": "MIT", "repository": {