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.
auto-update due to "isabelle build_vscode";
authorwenzelm
Wed, 07 Apr 2021 18:05:14 +0200
changeset 73540 a69197959ab6
parent 73539 f800f8becbfb
child 73541 1240abf2e3f5
auto-update due to "isabelle build_vscode";
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Wed Apr 07 18:04:45 2021 +0200
+++ b/src/Tools/VSCode/extension/package.json	Wed Apr 07 18:05:14 2021 +0200
@@ -545,7 +545,7 @@
         "@types/mocha": "^2.2.48",
         "@types/node": "^7.10.14",
         "mocha": "^3.5.3",
-        "typescript": "^3.7.9",
+        "typescript": "^3.9.9",
         "vscode": "^1.1.36"
     },
     "dependencies": {
isabelle