Re: Re: redefining @example to @smallexample

    so much texinfo development is done in private discussions, 

I think that's a bit of an overstatement :).

    Determine the size of the fonts according to the value of
    SETdispenvsize, using ...

The idea seems fine to me.  I'll test it when I have some time.

Thanks.
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest