Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/phabricator.scala
changeset 71326 d85258458623
parent 71314 5b68cc73f8b1
child 71328 4642a81f5913 
--- 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