diff -r 5ebfe18e3952 -r dd86d35375a7 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Wed Jul 10 09:58:32 2024 +0200
+++ b/src/Pure/Admin/build_log.scala	Wed Jul 10 16:56:59 2024 +0200
@@ -349,8 +349,8 @@
     val engine = "build_manager"
     val Start = new Regex("""^Starting job \S+ at ([^,]+), on (\S+)$""")
     val End = new Regex("""^Job ended at ([^,]+), with status \w+$""")
-    val Isabelle_Version = List(new Regex("""^Using Isabelle/(\w+)$"""))
-    val AFP_Version = List(new Regex("""^Using AFP/(\w+)$"""))
+    val Isabelle_Version = List(new Regex("""^Using Isabelle/?(\w*)$"""))
+    val AFP_Version = List(new Regex("""^Using AFP/?(\w*)$"""))
   }
 
   private def parse_meta_info(log_file: Log_File): Meta_Info = {