proof \*- compare two text files
that differ from corresponding lines in
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.
but they are undecipherable, e.g. `?1'.
This program has a long way to go
before even a list of specific