src/Pure/Tools/phabricator.scala

     command
   }
 
   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 =
         if (Url.is_wellformed(mercurial_source)) {
           val archive = tmp_dir + Path.basic("mercurial.tar.gz")