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
Thu, 19 Dec 2019 22:13:47 +0100
changeset 71326 d85258458623
parent 71325 0131b7b44c32
child 71327 a89729bdde89
tuned message;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Thu Dec 19 17:29:35 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Dec 19 22:13:47 2019 +0100
@@ -243,7 +243,7 @@
 
     if (mercurial_source.nonEmpty) {
       for { name <- List("mercurial", "mercurial-common") if Linux.package_installed(name) } {
-        error("Cannot install Mercurial from source:" +
+        error("Cannot install Mercurial from source:\n" +
           "package package " + quote(name) + " already installed")
       }
       mercurial_setup(mercurial_source, progress = progress)
isabelle