mailing-list for TeXmacs Users

[Basile Audoly <address@hidden>]

Hi Frank,

<src-comment> is defined in the style file source.ts used by typical .ts files.

You could set your own file to use the "source" style, or duplicate the definition of <src-comment> in your preamble.

Basile

Le 12 juil. 2020 à 10:01, Frank <address@hidden> a écrit :

Hi all,

I would like to ask how to put comments in a TeXmacs document, in particular in the preamble to explain how user-defined macros work?

If I am not mistaken, in .ts files, I see src-comment, seemingly for leaving comments. I tried \src-comment. It does not work.

Best wishes,

Frank