src/Tools/VSCode/extension/package.json

     "license": "MIT",
     "repository": {
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "^1.32.0"
+        "vscode": "^1.34.0"
     },
     "categories": [
         "Programming Languages"
     ],
     "activationEvents": [

         "mocha": "^3.5.3",
         "typescript": "^3.9.9",
         "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"
     }
 }