--- a/src/Tools/VSCode/extension/README.md Thu Jun 29 23:06:20 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md Fri Jun 30 13:19:24 2017 +0200
@@ -7,7 +7,7 @@
* <http://isabelle.in.tum.de/devel/release_snapshot>
* <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
-![[Isabelle/VSCode screenshot]](isabelle_vscode.png)
+![[Isabelle/VSCode screenshot]](http://isabelle.in.tum.de/repos/isabelle/raw-file/9fe05edaa351/src/Tools/VSCode/extension/isabelle_vscode.png)
## Prerequisites ##
--- a/src/Tools/VSCode/extension/package.json Thu Jun 29 23:06:20 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json Fri Jun 30 13:19:24 2017 +0200
@@ -10,7 +10,7 @@
"document preparation"
],
"icon": "isabelle.png",
- "version": "0.18.0",
+ "version": "0.19.0",
"publisher": "makarius",
"license": "MIT",
"repository": {
--- a/src/Tools/VSCode/src/build_vscode.scala Thu Jun 29 23:06:20 2017 +0200
+++ b/src/Tools/VSCode/src/build_vscode.scala Fri Jun 30 13:19:24 2017 +0200
@@ -36,10 +36,7 @@
progress.echo(output_path.implode)
progress.bash(
- "npm install && npm update --dev && vsce " +
- (if (publish)
- "publish --baseImagesUrl http://isabelle.in.tum.de/repos/isabelle/raw-file/tip/src/Tools/VSCode/extension"
- else "package"),
+ "npm install && npm update --dev && vsce " + (if (publish) "publish" else "package"),
cwd = extension_dir.file, echo = true).check
}