K 10 svn:author V 5 peter K 8 svn:date V 27 1995-10-29T08:52:27.000000Z K 7 svn:log V 75 Import diff-2.7's diff.texi which I left out last time. Suggested by: bde END