mailing-list for TeXmacs Users

[_and <address@hidden>]

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....

Is there some way to do this without as a macro command? may be 
modifying  directly the document source?

Thank you in advance,

Andrea Fiore