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
Sun, 12 Jan 2025 16:15:45 +0100
changeset 81792 7efc10b3b0ce
parent 81791 bea8edce9426
child 81793 83a09b34de1c
tuned message;
src/Tools/Find_Facts/src/elm.scala file | annotate | diff | comparison | revisions 
--- 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 " +
isabelle