Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;
authorwenzelm
Mon, 07 Mar 2022 12:40:36 +0100
changeset 75235 d647f6b74744
parent 75234 57de0062dc1c
child 75236 240cb0cfba5c
child 75241 21b2e37e0300
more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;
src/Tools/VSCode/extension/package-lock.json file | annotate | diff | comparison | revisions
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package-lock.json	Mon Mar 07 12:37:03 2022 +0100
+++ b/src/Tools/VSCode/extension/package-lock.json	Mon Mar 07 12:40:36 2022 +0100
@@ -15,12 +15,12 @@
             "devDependencies": {
                 "@types/mocha": "^9.1.0",
                 "@types/node": "^17.0.19",
-                "@types/vscode": "^1.64.0",
+                "@types/vscode": "1.64.0",
                 "mocha": "^9.2.1",
                 "typescript": "^4.5.5"
             },
             "engines": {
-                "vscode": "^1.64.0"
+                "vscode": "1.64.0"
             }
         },
         "node_modules/@types/mocha": {
--- a/src/Tools/VSCode/extension/package.json	Mon Mar 07 12:37:03 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Mar 07 12:40:36 2022 +0100
@@ -17,7 +17,7 @@
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "^1.64.0"
+        "vscode": "1.64.0"
     },
     "categories": [
         "Programming Languages"
@@ -318,7 +318,7 @@
     "devDependencies": {
         "@types/mocha": "^9.1.0",
         "@types/node": "^17.0.19",
-        "@types/vscode": "^1.64.0",
+        "@types/vscode": "1.64.0",
         "mocha": "^9.2.1",
         "typescript": "^4.5.5"
     },
isabelle