# HG changeset patch
# User wenzelm
# Date 1493382715 -7200
# Node ID d526ba7b0a2d0669d46eae282d734db73d6f8ab6
# Parent  c937984c70e9fa6de91cce8f33d1dd42e05edf28
tuned comment;

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