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.
evade odd version conflicts for batch build (e.g. "vsce package");
authorwenzelm
Fri, 03 Mar 2017 23:21:24 +0100
changeset 65098 b47ba1778e44
parent 65097 ed2e33653438
child 65099 30d0b2f1df76
child 65100 83d1f210a1d3
evade odd version conflicts for batch build (e.g. "vsce package");
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions
src/Tools/VSCode/extension/src/decorations.ts file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 03 23:04:12 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 03 23:21:24 2017 +0100
@@ -78,7 +78,7 @@
     },
     "devDependencies": {
         "typescript": "^2.1.0",
-        "vscode": "^1.8.0",
+        "vscode": "^1.0.0",
         "mocha": "^2.3.3",
         "@types/node": "^6.0.40",
         "@types/mocha": "^2.2.32"
--- a/src/Tools/VSCode/extension/src/decorations.ts	Fri Mar 03 23:04:12 2017 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Fri Mar 03 23:21:24 2017 +0100
@@ -12,7 +12,7 @@
   bad: TextEditorDecorationType
 }
 
-export let types: Readonly<Decorations>
+export let types: Decorations
 
 export function init(context: ExtensionContext)
 {
isabelle