# HG changeset patch
# User wenzelm
# Date 1576341445 -3600
# Node ID 5b3a813853bb0e0cdf53fa5ef892052d51d3fa71
# Parent  5a2033fc8f3d1ae3d8247270b5bb5461c1067839
tuned message;

diff -r 5a2033fc8f3d -r 5b3a813853bb src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Sat Dec 14 16:56:26 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Sat Dec 14 17:37:25 2019 +0100
@@ -191,7 +191,7 @@
 
   def mercurial_setup(mercurial_source: String, progress: Progress = No_Progress)
   {
-    progress.echo("\nBuilding Mercurial from source: " + quote(mercurial_source))
+    progress.echo("\nMercurial installation from source " + quote(mercurial_source) + " ...")
     Isabelle_System.with_tmp_dir("mercurial")(tmp_dir =>
     {
       val archive =