mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Am 10.07.2021 um 19:29 schrieb Richard gomez:
> Hello Giovanni, hello TeXmacs users,
>
> so, i have extracted the style file (menu source -> extract style file) and i 
> may have understood how it works.

I had not realized that extracting the style file picks up the changes 
that are saved in the <\initial> <\collection> part of the file. It is 
then not necessary to go through the .tm file with a text editor.

G.