Making a good diff algorithm