K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1996-09-18T18:14:37.000000Z
K 7
svn:log
V 99
Add 3 small lines which add to the utility of the "finished on `date`"
output in the world target.

END