# HG changeset patch
# User wenzelm
# Date 1542810555 -3600
# Node ID 7698ad5d70368fbca071aafe4f843fcd65c258a4
# Parent  ce6d43af5bcb9f6d45f31aa697db317fdf83ddaf
updated version;

diff -r ce6d43af5bcb -r 7698ad5d7036 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Wed Nov 21 15:19:11 2018 +0100
+++ b/src/Tools/VSCode/extension/package.json	Wed Nov 21 15:29:15 2018 +0100
@@ -10,7 +10,7 @@
         "document preparation"
     ],
     "icon": "isabelle.png",
-    "version": "1.1.1",
+    "version": "1.1.2",
     "publisher": "makarius",
     "license": "MIT",
     "repository": {