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, inser- tions or deletions have been made the program at- tempts to resynchronize the text in the two files by finding a sequence of lines in both files that again agree. FILES -- SEE ALSO cmp(I) DIAGNOSTICS yes, but they are undecipherable, e.g. "?1". BUGS proof is still evolving. Any bugs discovered or suggestions should be brought to ENP.