# HG changeset patch
# User wenzelm
# Date 1736694945 -3600
# Node ID 7efc10b3b0cedf8b2c2d189bd40be54082fbb343
# Parent  bea8edce94264723cd948e4ac2fc0ebc9982a272
tuned message;

diff -r bea8edce9426 -r 7efc10b3b0ce src/Tools/Find_Facts/src/elm.scala
--- a/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 16:15:37 2025 +0100
+++ b/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 16:15:45 2025 +0100
@@ -68,7 +68,7 @@
       val digest = sources_shasum.digest
       if (digest == get_digest) File.read(output)
       else {
-        progress.echo_warning("Building " + name + " (" + output.absolute + ") ...")
+        progress.echo_warning("Building web application in " + output.absolute + " ...")
 
         val cmd =
           File.bash_path(Path.explode("$ISABELLE_ELM_HOME/elm")) + " make " +