In article ,
MiNE 109 wrote:
Heh heh. 'Punching in' is what you do to pick up after a mistake.
Overdubbing replaces the original section completely.

Not around here. One punches in a short segment, a phrase, even just a
note or two to replace a mistake.

Explain the difference between that and overdubbing, then?

Terminology could be different in the UK.

It often is.

--
*Young at heart -- slightly older in other places

Dave Plowman London SW 12
RIP Acorn