PROOF(I) 1/15/73 PROOF(I)





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.
squoze.net
