mailing-list for TeXmacs Users

[Javier Arántegui Jiménez <address@hidden>]

El Lunes, 24 de Mayo de 2004 14:11, Joris van der Hoeven escribió:

> > can someone provide me a very simple custom style that... for example
> > redefine the Example to have a smaller font?
> >
> > Like <with|font-size|0.84|>
>
> What about
>
> (assign "std-example" (value "example"))

[...]

I think that this a frequently asked question with its answer. Could it be 
added to the FAQ, please?

Thanks,

Javier