changeset 66237 | 93eac3bdf3f9 |
parent 66236 | 8ae7c5ba1a85 |
child 66240 | 1a04946c41d6 |
--- a/src/Tools/VSCode/extension/package.json Fri Jun 30 16:16:45 2017 +0200 +++ b/src/Tools/VSCode/extension/package.json Fri Jun 30 16:28:06 2017 +0200 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.20.0", + "version": "0.21.0", "publisher": "makarius", "license": "MIT", "repository": {