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.
prefer https for the sake of "npm run vscode:prepublish";
authorwenzelm
Thu, 10 Aug 2017 14:32:13 +0200
changeset 66390 21514c6e5e43
parent 66389 fa473c07d86c
child 66391 77a347cf3531
prefer https for the sake of "npm run vscode:prepublish";
src/Tools/VSCode/extension/README.md file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/README.md	Thu Aug 10 11:35:39 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Thu Aug 10 14:32:13 2017 +0200
@@ -16,7 +16,7 @@
 
 ## Screenshot
 
-![[Isabelle/VSCode]](http://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png)
+![[Isabelle/VSCode]](https://isabelle.in.tum.de/repos/isabelle/raw-file/b565a39627bb/src/Tools/VSCode/extension/isabelle_vscode.png)
 
 
 ## Notable Features
isabelle