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.
proper prefix;
authorwenzelm
Thu, 27 Apr 2017 22:21:43 +0200
changeset 65596 7fffa01b2d2b
parent 65595 ffd8283b7be0
child 65597 b408ca224954
proper prefix;
src/Pure/Admin/build_history.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_history.scala	Thu Apr 27 16:54:45 2017 +0200
+++ b/src/Pure/Admin/build_history.scala	Thu Apr 27 22:21:43 2017 +0200
@@ -17,7 +17,7 @@
   /* log files */
 
   val engine = "build_history"
-  val log_prefix = engine + "-"
+  val log_prefix = engine + "_"
   val META_INFO_MARKER = "\fmeta_info = "
isabelle