author | wenzelm |
Thu, 29 Jun 2017 21:27:34 +0200 | |
changeset 66222 | 186069cfb9ba |
parent 66221 | e6b7edd12f05 |
child 66223 | a6fdb22b0ce2 |
--- 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": {