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/build_cluster.scala
changeset 78423 645b54f3244a
parent 78421 fd24f380b588
child 78424 e5908be41a36 
--- a/src/Pure/Tools/build_cluster.scala	Fri Jul 21 11:05:50 2023 +0200
+++ b/src/Pure/Tools/build_cluster.scala	Fri Jul 21 11:11:50 2023 +0200
@@ -50,7 +50,7 @@
             val l =
               if (m == n) n
               else if (str(m) == ':') m + 1
-              else error("Colon (:) expected after host name")
+              else error("Missing \":\" after host name")
             str.substring(l)
           }
           val (specs1, specs2) = Options.parse_specs(rest).partition(is_parameter)
isabelle