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
authorLars Hupel <lars.hupel@mytum.de>
Mon, 13 Jun 2016 08:33:29 +0200
changeset 63294 a97a3a95be93
parent 63293 9adfdaee327e
child 63295 52792bb9126e
tuned
src/Pure/Tools/ci_profile.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/ci_profile.scala	Mon Jun 13 09:22:45 2016 +0200
+++ b/src/Pure/Tools/ci_profile.scala	Mon Jun 13 08:33:29 2016 +0200
@@ -44,7 +44,7 @@
   {
     List("ML_PLATFORM", "ML_HOME", "ML_SYSTEM", "ML_OPTIONS").foreach(print_variable)
     val isabelle_home = Path.explode(Isabelle_System.getenv_strict("ISABELLE_HOME"))
-    println(s"Build for repository Isabelle/${hg_id(isabelle_home)}")
+    println(s"Build for Isabelle id ${hg_id(isabelle_home)}")
 
     val options =
       Options.init()
isabelle