mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

Can you show the diff? I'm using the svn version of TeXmacs but apart from 
that nothing fancy.

m



> On 9. Nov 2020, at 14:23, Giovanni Piredda <address@hidden> wrote:
> 
> 
> 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).
>