# HG changeset patch
# User wenzelm
# Date 1475934366 -7200
# Node ID 87d32aa83410a85f14d51122942ba5f8c218a4f0
# Parent  b7ff61d50b198baa2350231814d42400e8862784
tuned comment;

diff -r b7ff61d50b19 -r 87d32aa83410 src/Pure/Tools/build_log.scala
--- a/src/Pure/Tools/build_log.scala	Sat Oct 08 15:45:47 2016 +0200
+++ b/src/Pure/Tools/build_log.scala	Sat Oct 08 15:46:06 2016 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Tools/build_log.scala
     Author:     Makarius
 
-Build log parsing for historic versions.
+Build log parsing for current and historic versions.
 */
 
 package isabelle