texinfo 4.2

[Torsten Bronger]

Halloechen!

I had the following problems with the dvi
output of texinfo 4.2:

- The vertical spacing of the @verbatim
  macro is wrong.  In particular, the bottom
  margin is too small.

- A '<' character in the very first column within
  a @verbatim macro was ignored, i.e. not printed.

- A @LaTeX{} macro for the LaTeX logo is missing.
  I agree that this is tricky but would be very
  nice, too.

- @uref output is not broken which can cause very
  poor paragraph layout.

Tschoe,
Torsten.