I understand that you'd like diff's here, right? Right in the message? I've
made a small change and done a diff, as a test.
Jim
5522a5523
> That amount is determined by the document class.
5529c5530,5532
< space (with stretch and shrink).
---
> space, with stretch and shrink
> (the default for the @code{book} and
> @code{article} classes is @code{12pt plus 4pt minus 4pt}).
5535c5538,5540
< about half of a line space (with stretch and shrink).
---
> about half of a line space, with stretch and shrink
> (the default for the @code{book} and
> @code{article} classes is @code{6pt plus 2pt minus 2pt}).
5541c5546,5548
< quarter of a line space (with stretch and shrink).
---
> quarter of a line space, with stretch and shrink
> (the default for the @code{book} and
> @code{article} classes is @code{3pt plus 1pt minus 1pt}).
5544,5546d5550
<
< The @code{\...amount} parameters are determined by the document class.
<
