9000

Printing History

New editions are complete revisions of the manual. The dates on the title

page change only when a new edition or a new update is published.

Note that many product updates and ﬁxes do not require manual

changes and, conversely, manual corrections may be done without

accompanying product changes. Therefore, do not expect a one-to-one

correspondence between product updates and manual updates.

Edition 1 October 1997