Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/package.json
changeset 66217 534ef013d169
parent 66204 b0a30a21f627
child 66222 186069cfb9ba 
--- a/src/Tools/VSCode/extension/package.json	Thu Jun 29 15:12:40 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Thu Jun 29 17:37:03 2017 +0200
@@ -493,7 +493,7 @@
     },
     "devDependencies": {
         "@types/mocha": "^2.2.41",
-        "@types/node": "^7.0.32",
+        "@types/node": "^7.0.33",
         "mocha": "^3.4.1",
         "typescript": "^2.4.1",
         "vscode": "^1.1.1"
isabelle