K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1996-06-25T18:32:46.000000Z
K 7
svn:log
V 86
Merge from HEAD: kill the various BUGS sections since the bugs
have been fixed since.

END