how to turn pretty print off

TP <[email protected]> Tue, 13 Oct 2009 23:55:08 +0200

Newsgroups	gmane.comp.mathematics.axiom.user
Message-ID	<[email protected]>

Hi everybody,

My question is in the header.
I have looked for the string "pretty" and "pretty print" in "bookvol0.pdf", 
but without success.

Thanks in advance,

Julien