V4/man/man1/proof.1

Compare this file to the similar file:
Show the results in this format: 

.th PROOF I 1/15/73
.sh NAME
proof \*- compare two text files
.sh SYNOPSIS
.bd proof
oldfile newfile
.sh DESCRIPTION
.it Proof
lists
those lines of
.it newfile
that differ from corresponding lines in
.it oldfile.
The line number in
.it 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.
.sh "SEE ALSO"
cmp(I), comm(I)
.sh DIAGNOSTICS
yes,
but they are undecipherable, e.g. `?1'.
.sh BUGS
This program has a long way to go
before even a list of specific
bugs is appropriate.