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.