# HG changeset patch
# User wenzelm
# Date 1489662040 -3600
# Node ID fa1a5efee2ecfb2732a5be7a1d9369b97918afc9
# Parent  50f956a1ac3f8996cd39eb9806e685040dc91223
tuned comments;

diff -r 50f956a1ac3f -r fa1a5efee2ec src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Thu Mar 16 11:25:09 2017 +0100
+++ b/src/Pure/Admin/build_log.scala	Thu Mar 16 12:00:40 2017 +0100
@@ -265,7 +265,7 @@
 
 
 
-  /** meta info **/
+  /** digested meta info: produced by Admin/build_history in log.xz file **/
 
   object Meta_Info
   {
@@ -379,7 +379,7 @@
 
 
 
-  /** 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"
@@ -539,7 +539,7 @@
 
 
 
-  /** 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,