some tinkering with npm versions;
authorwenzelm
Wed, 07 Apr 2021 22:28:41 +0200
changeset 73799 f8c6c45cb112
parent 73798 e4fde6b3e09a
child 73800 79761915770c
some tinkering with npm versions;
src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Wed Apr 07 18:13:02 2021 +0200
+++ b/src/Tools/VSCode/extension/package.json	Wed Apr 07 22:28:41 2021 +0200
@@ -17,7 +17,7 @@
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "^1.32.0"
+        "vscode": "^1.34.0"
     },
     "categories": [
         "Programming Languages"
@@ -549,7 +549,7 @@
         "vscode": "^1.1.36"
     },
     "dependencies": {
-        "vscode-languageclient": "~3.2.2",
-        "vscode-languageserver-types": "~3.14.0"
+        "vscode-languageclient": "~5.2.1",
+        "vscode-languageserver-types": "~3.16.0"
     }
 }