[unix-history] / man / man1 / proof.1

.th PROOF I 1/15/73
.sh NAME
proof \*- compare two text files
.sh SYNOPSIS
.bd proof
oldfile newfile
.sh DESCRIPTION
.it Proof
lists
those lines of
.it newfile
that differ from corresponding lines in
.it oldfile.
The line number in
.it 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.
.sh "SEE ALSO"
cmp(I), comm(I)
.sh DIAGNOSTICS
yes,
but they are undecipherable, e.g. `?1'.
.sh BUGS
This program has a long way to go
before even a list of specific
bugs is appropriate.
Commit	Line	Data
2d0f6b4a ML	1	.th PROOF I 1/15/73
	2	.sh NAME
	3	proof \*- compare two text files
	4	.sh SYNOPSIS
	5	.bd proof
	6	oldfile newfile
	7	.sh DESCRIPTION
	8	.it Proof
	9	lists
	10	those lines of
	11	.it newfile
	12	that differ from corresponding lines in
	13	.it oldfile.
	14	The line number in
	15	.it newfile
	16	is given.
	17	When changes, insertions or deletions have
	18	been made the program attempts to resynchronize
	19	the text in the two files by finding a sequence of
	20	lines in both files that again agree.
	21	.sh "SEE ALSO"
	22	cmp(I), comm(I)
	23	.sh DIAGNOSTICS
	24	yes,
	25	but they are undecipherable, e.g. `?1'.
	26	.sh BUGS
	27	This program has a long way to go
	28	before even a list of specific
	29	bugs is appropriate.