changeset 72860 | 64378eaf393d |
parent 72753 | e8da2cfdfcff |
child 72885 | 1b0f81e556a2 |
--- a/src/Pure/Admin/build_log.scala Wed Dec 09 20:19:27 2020 +0100 +++ b/src/Pure/Admin/build_log.scala Wed Dec 09 20:33:02 2020 +0100 @@ -614,7 +614,7 @@ - /** session info: produced by isabelle build as session log.gz file **/ + /** session info: produced by isabelle build as session database **/ sealed case class Session_Info( session_timing: Properties.T,