K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1995-10-07T12:02:33.000000Z
K 7
svn:log
V 102
Make it clear that the printed times are measured in hours.

Submitted by:	mrami@minerva.cis.yale.edu

END