src/Pure/Admin/build_history.scala

         Build_Log.Log_File(log_path.base.implode, build_result.out_lines).parse_build_info()
 
 
       /* output log */
 
+      val store = Sessions.store()
+
       val meta_info =
         Build_Log.Prop.multiple(Build_Log.Prop.build_tags, build_tags) :::
         Build_Log.Prop.multiple(Build_Log.Prop.build_args, build_args1) :::
         List(
           Build_Log.Prop.build_group_id -> build_group_id,

           Build_Log.Prop.isabelle_version -> isabelle_version)
 
       val ml_statistics =
         build_info.finished_sessions.flatMap(session_name =>
           {
-            val session_log = isabelle_output_log + Path.explode(session_name).ext("gz")
-            if (session_log.is_file) {
-              Build_Log.Log_File(session_log).parse_session_info(ml_statistics = true).
-                ml_statistics.map(props => (Build_Log.SESSION_NAME -> session_name) :: props)
-            }
-            else Nil
+            val database = isabelle_output + store.database(session_name)
+            val log_gz = isabelle_output + store.log_gz(session_name)
+
+            val properties =
+              if (database.is_file) {
+                using(SQLite.open_database(database))(db =>
+                  Sessions.Session_Info.read_build_log(
+                    store, db, session_name, ml_statistics = true)).ml_statistics
+              }
+              else if (log_gz.is_file) {
+                Build_Log.Log_File(log_gz).
+                  parse_session_info(session_name, ml_statistics = true).ml_statistics
+              }
+              else Nil
+            properties.map(props => (Build_Log.SESSION_NAME -> session_name) :: props)
           })
 
       val heap_sizes =
         build_info.finished_sessions.flatMap(session_name =>
           {