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
Sat, 14 Dec 2019 17:37:25 +0100
changeset 71281 5b3a813853bb
parent 71280 5a2033fc8f3d
child 71282 de59dd86760f
tuned message;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- 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 =
isabelle