mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

On 08.11.20 16:26, Giovanni Piredda wrote:
> Hi Massimiliano,
>
> this is very nice.
>
> I think in the next few days I will try and post a small article.


Do I need a style file which is not contained in the standard TeXmacs 
distribution? I started (did not complete) a pull request now and in the 
changes summary I see many additions in the head of the html document. I 
wonder if it is why in my local copy TeXmacs is using a different style 
file for generating the html? (Perhaps this is what Joris referred to in 
the message on the missing "notes" style file).