src/Pure/Tools/ci_api.scala

     job_name: String,
     timestamp: Long,
     output: URL,
     session_logs: List[(String, URL)])
   {
-    def read_output(): Build_Log.Log_File = Build_Log.Log_File(job_name, Url.read(output))
-    def read_log_file(name: String): Build_Log.Log_File =
+    def read_main_log(): Build_Log.Log_File = Build_Log.Log_File(job_name, Url.read(output))
+    def read_session_log(name: String): Build_Log.Log_File =
       Build_Log.Log_File(name,
         session_logs.collectFirst({ case (a, b) if a == name => Url.read_gzip(b) }) getOrElse "")
   }
 
   def build_job_builds(job_name: String): List[Job_Info] =