Research V3 release

[unix-history] / man / man1 / proof.1

.pa 1
.he 'PROOF (I)'1/15/73'PROOF (I)'
.ti 0
NAME            proof -- compare two text files
.sp
.ti 0
SYNOPSIS        proof\b\b\b\b\b_____
oldfile newfile
.sp
.ti 0
DESCRIPTION     proof\b\b\b\b\b_____
lists
those lines of
.ul
newfile
that differ from corresponding lines in
.ul
oldfile.
The line number in
.ul
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.
.sp
.ti 0
FILES           --
.sp
.ti 0
SEE ALSO        cmp(I)
.sp
.ti 0
DIAGNOSTICS     yes,
but they are undecipherable, e.g. "?1".
.sp
.ti 0
BUGS            proof\b\b\b\b\b_____
is still evolving.  Any bugs discovered or suggestions
should be brought to ENP.