- From: Massimiliano Gubinelli <address@hidden>
- To: Giovanni Piredda <address@hidden>
- Cc: address@hidden
- Subject: Re: A wiki for TeXmacs?
- Date: Mon, 9 Nov 2020 15:21:11 +0100
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).
>
Archive powered by MHonArc 2.6.19.