# HG changeset patch
# User wenzelm
# Date 1582802869 -3600
# Node ID cf39375d5cfeababb3c7a9238ab3fb44b6b81da7
# Parent  059c55b617343f6c80842ffe920274cfafd5174f
clarified versions -- more reproducible build;

diff -r 059c55b61734 -r cf39375d5cfe src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Feb 27 12:18:16 2020 +0100
+++ b/src/Tools/VSCode/extension/package.json	Thu Feb 27 12:27:49 2020 +0100
@@ -10,7 +10,7 @@
         "document preparation"
     ],
     "icon": "isabelle.png",
-    "version": "1.2.0",
+    "version": "1.2.1",
     "publisher": "makarius",
     "license": "MIT",
     "repository": {
@@ -291,6 +291,7 @@
         "vscode": "^1.1.36"
     },
     "dependencies": {
-        "vscode-languageclient": "~3.2.2"
+        "vscode-languageclient": "~3.2.2",
+        "vscode-languageserver-types": "~3.14.0"
     }
 }