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
Fri, 22 Dec 2017 14:35:29 +0100
changeset 67254 31dd98471e88
parent 67253 93b4333f33bb
child 67255 f1f983484878
auto update;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Fri Dec 22 14:27:59 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Dec 22 14:35:29 2017 +0100
@@ -492,11 +492,11 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "@types/mocha": "^2.2.43",
-        "@types/node": "^7.0.43",
+        "@types/mocha": "^2.2.44",
+        "@types/node": "^7.0.51",
         "mocha": "^3.5.3",
-        "typescript": "^2.5.2",
-        "vscode": "^1.1.5"
+        "typescript": "^2.6.2",
+        "vscode": "^1.1.10"
     },
     "dependencies": {
         "vscode-languageclient": "~3.2.2"
isabelle