src/Pure/Admin/build_log.scala

         log_file, default_name, command_timings, ml_statistics, task_statistics)
   }
 
 
 
-  /** meta info **/
+  /** digested meta info: produced by Admin/build_history in log.xz file **/
 
   object Meta_Info
   {
     val empty: Meta_Info = Meta_Info(Nil, Nil)
   }

     }
   }
 
 
 
-  /** build info: produced by isabelle build or build_history **/
+  /** build info: toplevel output of isabelle build or Admin/build_history **/
 
   val ML_STATISTICS_MARKER = "\fML_statistics = "
   val SESSION_NAME = "session_name"
 
   object Session_Status extends Enumeration

     Build_Info(sessions)
   }
 
 
 
-  /** session info: produced by "isabelle build" **/
+  /** session info: produced by isabelle build as session log.gz file **/
 
   sealed case class Session_Info(
     session_name: String,
     session_timing: Properties.T,
     command_timings: List[Properties.T],