K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1995-06-26T08:04:16.000000Z
K 7
svn:log
V 107
`pred1' was documented as `pred'.  The problem was not obvious because
`disable pred' is silently ignored.

END