# HG changeset patch
# User wenzelm
# Date 1493731785 -7200
# Node ID 47bbf7150aae2d7a58b41200e6619007900a0db6
# Parent  00d4663270d946c639ba4ab78bc31e761381c93f
detect old log files (early 2016);

diff -r 00d4663270d9 -r 47bbf7150aae src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Tue May 02 15:10:04 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Tue May 02 15:29:45 2017 +0200
@@ -363,7 +363,8 @@
     val No_End = new Regex("""$.""")
     val Isabelle_Version =
       List(new Regex("""^(?:Build for Isabelle id|Isabelle id) (\w+).*$"""),
-        new Regex("""^ISABELLE_CI_REPO_ID="(\w+)".*$"""))
+        new Regex("""^ISABELLE_CI_REPO_ID="(\w+)".*$"""),
+        new Regex("""^(\w{12}) tip.*$"""))
     val AFP_Version =
       List(new Regex("""^(?:Build for AFP id|AFP id) (\w+).*$"""),
         new Regex("""^ISABELLE_CI_AFP_ID="(\w+)".*$"""))