K 10 svn:author V 5 markm K 8 svn:date V 27 1996-05-02T17:04:59.000000Z K 7 svn:log V 35 Merge with HEAD. Patch docs fixes. END