Re: manuals

As is always the case, printed manuals do get out of date (usually
just after printing them). Most things are common between the third
and fourth editions, but the fundamental problem remains.

Personally, I find the printed manuals very useful when I'm first
trying to understand a new batch of code; I end up going to the
references quite a bit, and the paper's much easier on the eyes. On a
day-to-day basis, the versions included in the system are more
reliable.
Anthony