PROOF(I) 1/15/73 PROOF(I)
NAME
proof - compare two text files
SYNOPSIS
proof oldfile newfile
DESCRIPTION
Proof lists those lines of newfile that differ from
corresponding lines in oldfile. The line number in newfile
is given. When changes, insertions or deletions have been
made the program attempts to resynchronize the text in the
two files by finding a sequence of lines in both files that
again agree.
SEE ALSO
cmp(I), comm(I)
DIAGNOSTICS
yes, but they are undecipherable, e.g. `?1'.
BUGS
This program has a long way to go before even a list of
specific bugs is appropriate.