Re: PATCH: a sensible default for a prettyprinter

[Ilya Zakharevich <ilya@math.ohio-state.edu>]

On Fri, Sep 22, 2000 at 04:57:25PM +0200, Karim BELABAS wrote:
> [Ilya:]
> 
> > [...] *prettyprinter_def = "tex2mail -TeX -noindent -ragged -by_par";
> > [...] *prettyprinter = prettyprinter_def;
> 
> My problem with this patch is that it would kill the old (ugly)
> ``prettyprinter'', whether tex2mail is available or not. The current
> situation requires the user to define himself a decent alternate
> prettyprinter in his .gprc.

Hmm?  I thought that prettyprinter is active only with \o2, which is
not useful without it?  If \o2 serves two different meanings depending
on prettyprinter, why not activate prettyprinter on \o3 instead?

Ilya