src/Pure/Admin/build_log.scala
changeset 65276 fa1a5efee2ec
parent 65052 7f825cc6debf
child 65290 6c1d7d5c2165
     1.1 --- a/src/Pure/Admin/build_log.scala	Thu Mar 16 11:25:09 2017 +0100
     1.2 +++ b/src/Pure/Admin/build_log.scala	Thu Mar 16 12:00:40 2017 +0100
     1.3 @@ -265,7 +265,7 @@
     1.4  
     1.5  
     1.6  
     1.7 -  /** meta info **/
     1.8 +  /** digested meta info: produced by Admin/build_history in log.xz file **/
     1.9  
    1.10    object Meta_Info
    1.11    {
    1.12 @@ -379,7 +379,7 @@
    1.13  
    1.14  
    1.15  
    1.16 -  /** build info: produced by isabelle build or build_history **/
    1.17 +  /** build info: toplevel output of isabelle build or Admin/build_history **/
    1.18  
    1.19    val ML_STATISTICS_MARKER = "\fML_statistics = "
    1.20    val SESSION_NAME = "session_name"
    1.21 @@ -539,7 +539,7 @@
    1.22  
    1.23  
    1.24  
    1.25 -  /** session info: produced by "isabelle build" **/
    1.26 +  /** session info: produced by isabelle build as session log.gz file **/
    1.27  
    1.28    sealed case class Session_Info(
    1.29      session_name: String,