# HG changeset patch
# User wenzelm
# Date 1645183357 -3600
# Node ID cdc2838f7536d3390a1844b4469ccd8e33f36368
# Parent  445ec26fe47ffcae8e95ff4463663d93ad448672
tuned message;

diff -r 445ec26fe47f -r cdc2838f7536 src/Tools/VSCode/src/vscode_setup.scala
--- 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 {