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.
tuned message;
authorwenzelm
Fri, 18 Feb 2022 12:22:37 +0100
changeset 75092 cdc2838f7536
parent 75091 445ec26fe47f
child 75093 7e2401d17bf8
tuned message;
src/Tools/VSCode/src/vscode_setup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/vscode_setup.scala	Fri Feb 18 12:20:30 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Fri Feb 18 12:22:37 2022 +0100
@@ -77,7 +77,7 @@
       if (install_ok) progress.echo(install_dir.expand.implode)
       else {
         error("Bad Isabelle/VSCode installation: " + install_dir.expand +
-          "\n(use \"isabelle vscode_setup\" to download it)")
+          "\n(use \"isabelle vscode_setup\" for download and installation)")
       }
     }
     else {
isabelle