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;
authorwenzelm
Thu, 14 Jun 2018 17:50:23 +0200
changeset 68449 6d0f1a5a16ea
parent 68448 3d1517f3ba49
child 68450 41de07c7a0f3
child 68452 c027dfbfad30
auto update;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Thu Jun 14 15:20:20 2018 +0100
+++ b/src/Tools/VSCode/extension/package.json	Thu Jun 14 17:50:23 2018 +0200
@@ -524,10 +524,10 @@
     },
     "devDependencies": {
         "@types/mocha": "^2.2.48",
-        "@types/node": "^7.0.56",
+        "@types/node": "^7.0.66",
         "mocha": "^3.5.3",
-        "typescript": "^2.7.2",
-        "vscode": "^1.1.13"
+        "typescript": "^2.9.2",
+        "vscode": "^1.1.18"
     },
     "dependencies": {
         "vscode-languageclient": "~3.2.2"
isabelle