On Mon, 14 Nov 2005, Mike Reinehr wrote: > > The options '--pretty-print' and '--help-pretty-print' have been renamed to > '--highlight' and '--help-highlight' in version 1.6.3. > Thank you. That's good news. > >From the News.gz file: -- Jorge Almeida