K 10 svn:author V 2 ru K 8 svn:date V 27 2002-07-22T16:55:14.000000Z K 7 svn:log V 42 Merge texinfo 4.2 changes onto the trunk. END