diff -r c937984c70e9 -r d526ba7b0a2d src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Fri Apr 28 14:29:23 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Fri Apr 28 14:31:55 2017 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Admin/build_log.scala
     Author:     Makarius
 
-Build log parsing for current and historic formats.
+Management of build log files and database storage.
 */
 
 package isabelle