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.
clarified versions;
authorwenzelm
Thu, 09 Mar 2017 16:56:39 +0100
changeset 65163 d596a070f039
parent 65162 df1052d0708d
child 65164 6cbb894181c8
clarified versions;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Thu Mar 09 15:27:37 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Thu Mar 09 16:56:39 2017 +0100
@@ -149,9 +149,9 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "typescript": "^2.1.0",
-        "vscode": "^1.0.0",
-        "mocha": "^2.3.3",
+        "typescript": "2.2.x",
+        "vscode": "1.x",
+        "mocha": "3.x",
         "@types/node": "^6.0.40",
         "@types/mocha": "^2.2.32"
     },
isabelle