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
Fri, 03 Mar 2017 11:07:27 +0100
changeset 65092 7672b29e544e
parent 65091 f7aaf4ce55a9
child 65093 5f08197206ce
clarified versions;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 03 10:51:24 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 03 11:07:27 2017 +0100
@@ -77,8 +77,8 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "typescript": "^2.0.3",
-        "vscode": "^1.0.0",
+        "typescript": "^2.1.0",
+        "vscode": "^1.8.0",
         "mocha": "^2.3.3",
         "@types/node": "^6.0.40",
         "@types/mocha": "^2.2.32"
isabelle