Return to proof.1 CVS log

Up to [Research Unix] / researchv10dc / dist / man / v3 / man1

Annotation of researchv10dc/dist/man/v3/man1/proof.1, revision 1.1.1.1

1.1       root        1: .pa 1
                      2: .he 'PROOF (I)'1/15/73'PROOF (I)'
                      3: .ti 0
                      4: NAME           proof -- compare two text files
                      5: .sp
                      6: .ti 0
                      7: SYNOPSIS       proof_____
                      8: oldfile newfile
                      9: .sp
                     10: .ti 0
                     11: DESCRIPTION    proof_____
                     12: lists
                     13: those lines of
                     14: .ul
                     15: newfile
                     16: that differ from corresponding lines in
                     17: .ul
                     18: oldfile.
                     19: The line number in
                     20: .ul
                     21: newfile
                     22: is given.
                     23: When changes, insertions or deletions have
                     24: been made the program attempts to resynchronize
                     25: the text in the two files by finding a sequence of
                     26: lines in both files that again agree.
                     27: .sp
                     28: .ti 0
                     29: FILES          --
                     30: .sp
                     31: .ti 0
                     32: SEE ALSO       cmp(I)
                     33: .sp
                     34: .ti 0
                     35: DIAGNOSTICS    yes,
                     36: but they are undecipherable, e.g. "?1".
                     37: .sp
                     38: .ti 0
                     39: BUGS           proof_____
                     40: is still evolving.  Any bugs discovered or suggestions
                     41: should be brought to ENP.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.