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
Tue, 27 Jun 2017 20:16:40 +0200
changeset 66204 b0a30a21f627
parent 66203 5763d9a2f47d
child 66205 e9fa94f43a15
auto update;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Tue Jun 27 16:50:40 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Tue Jun 27 20:16:40 2017 +0200
@@ -495,7 +495,7 @@
         "@types/mocha": "^2.2.41",
         "@types/node": "^7.0.32",
         "mocha": "^3.4.1",
-        "typescript": "^2.3.2",
+        "typescript": "^2.4.1",
         "vscode": "^1.1.1"
     },
     "dependencies": {
isabelle