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.