.pa 1
.he 'PROOF (I)'1/15/73'PROOF (I)'
.ti 0
NAME		proof -- compare two text files
.sp
.ti 0
SYNOPSIS	proof_____
oldfile newfile
.sp
.ti 0
DESCRIPTION	proof_____
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_____
is still evolving.  Any bugs discovered or suggestions
should be brought to ENP.
