K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1988-09-21T09:18:22.000000Z
K 24
svn:entry:committed-date
V 27
1988-09-21T09:18:22.000000Z
K 7
svn:log
V 90
minor corrections to search procedure, always report any NO_DATA error,
clarify comments


END
