changeset 66230 | ae814012b95f |
parent 66229 | d3b6e5e47015 |
child 66236 | 8ae7c5ba1a85 |
--- a/src/Tools/VSCode/extension/package.json Thu Jun 29 23:06:20 2017 +0200 +++ b/src/Tools/VSCode/extension/package.json Fri Jun 30 13:19:24 2017 +0200 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.18.0", + "version": "0.19.0", "publisher": "makarius", "license": "MIT", "repository": {