mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Mon, 11 Apr 2005, _and wrote:
> Hello!
> I have another question....
> I'm working on a very big document, more than 80 pages... to big to
> modify it by hand!
>
> i have to scale the font size about 1 or 2 pt bigger than the default
> setting. I wold like to have paragraphs 11, sections 17 subsections 15,
> notes 9....

What about

        Document -> Font -> Size -> ...

--Joris