changeset 66102 | 3e2145cf3077 |
parent 66096 | 6187612e83c1 |
child 66138 | f7ef4c50b747 |
--- a/src/Tools/VSCode/extension/package.json Sat Jun 17 14:47:36 2017 +0200 +++ b/src/Tools/VSCode/extension/package.json Sat Jun 17 14:51:56 2017 +0200 @@ -10,7 +10,7 @@ "document preparation" ], "icon": "isabelle.png", - "version": "0.14.0", + "version": "0.15.0", "publisher": "makarius", "license": "MIT", "repository": {