K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1997-10-06T18:22:05.000000Z
K 7
svn:log
V 53
Merge rev 1.14: fix the definition of INTERNAL_MARK.

END