mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

I haven't figured out how to copy the diff from the pull request webpage 
(maybe I could have done that locally), so I submitted the pull request 
so that you can check the diff from your computer.

By the way I have seen that only the html file is changed, not the tm, 
this means I have to improve how I push changes to git (but I'll figure 
it out on my own).

G.

On 09.11.20 15:21, Massimiliano Gubinelli wrote:
> 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).