K 10
svn:author
V 8
christos
K 8
svn:date
V 27
1993-05-23T12:10:27.000000Z
K 24
svn:entry:committed-date
V 27
1993-05-23T12:10:27.000000Z
K 7
svn:log
V 50
Added missing \ in \*(ua in the operator section


END
