diff options
Diffstat (limited to 'static/v10/man1/proof.1')
| -rw-r--r-- | static/v10/man1/proof.1 | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/static/v10/man1/proof.1 b/static/v10/man1/proof.1 new file mode 100644 index 00000000..b817bd9c --- /dev/null +++ b/static/v10/man1/proof.1 @@ -0,0 +1,41 @@ +.pa 1 +.he 'PROOF (I)'1/15/73'PROOF (I)' +.ti 0 +NAME proof -- compare two text files +.sp +.ti 0 +SYNOPSIS proof_____ +oldfile newfile +.sp +.ti 0 +DESCRIPTION proof_____ +lists +those lines of +.ul +newfile +that differ from corresponding lines in +.ul +oldfile. +The line number in +.ul +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. +.sp +.ti 0 +FILES -- +.sp +.ti 0 +SEE ALSO cmp(I) +.sp +.ti 0 +DIAGNOSTICS yes, +but they are undecipherable, e.g. "?1". +.sp +.ti 0 +BUGS proof_____ +is still evolving. Any bugs discovered or suggestions +should be brought to ENP. |