Karim BELABAS on Fri, 22 Sep 2000 16:57:25 +0200 (MET DST)

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: PATCH: a sensible default for a prettyprinter


> [...] *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.

So I'd rather leave the example in the default gprc, and the default \o2
behaviour as it is. On the other hand, I can check for a specific keyword,
e.g "yes" and interpret it as 'tex2mail' with sensible flags. This way it's
still easy to switch it on (provided it's been installed...) even when a
sample gprc is not available.

Karim Belabas                    email: Karim.Belabas@math.u-psud.fr
Dep. de Mathematiques, Bat. 425
Universite Paris-Sud             Tel: (00 33) 1 69 15 57 48
F-91405 Orsay (France)           Fax: (00 33) 1 69 15 60 19
PARI/GP Home Page: http://www.parigp-home.de/