To make shorter; to shorten in duration or extent.
Cut short; truncate.
To shorten or contract by using fewer words, yet retaining the sense; to epitomize; to condense.
To curtail.
To reduce or shrink; to make or become smaller.