First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: A wiki for TeXmacs?


Chronological Thread 
  • From: Giovanni Piredda <address@hidden>
  • To: address@hidden
  • Subject: Re: A wiki for TeXmacs?
  • Date: Mon, 9 Nov 2020 16:08:41 +0100
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).


Archive powered by MHonArc 2.6.19.

Top of page