# HG changeset patch
# User wenzelm
# Date 1736694223 -3600
# Node ID 134880dc4df2d8cb2639b31416647fbe8eef5db9
# Parent  e08eab19cdeb6acf28b5af46c2c80c090276a788
tuned messages: more formal;

diff -r e08eab19cdeb -r 134880dc4df2 src/Tools/Find_Facts/src/elm.scala
--- a/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 15:58:30 2025 +0100
+++ b/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 16:03:43 2025 +0100
@@ -68,7 +68,7 @@
       val digest = sources_shasum.digest
       if (digest == get_digest) File.read(output)
       else {
-        progress.echo("### Building " + name + " (" + output.canonical.implode + ") ...")
+        progress.echo_warning("Building " + name + " (" + output.absolute + ") ...")
 
         val cmd =
           File.bash_path(Path.explode("$ISABELLE_ELM_HOME/elm")) + " make " +
@@ -76,7 +76,7 @@
         val res = Isabelle_System.bash(cmd, cwd = dir)
 
         if (!res.ok) {
-          progress.echo(res.err)
+          progress.echo_error_message(res.err)
           error("Failed to compile Elm sources")
         }