mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

On 30.09.19 10:22, Giovanni Piredda wrote:
> On 27.09.19 09:52, TeXmacs wrote:
> > Hi Giovanni,
> >
> > Thanks for this work.  This is definitely an improvement.
> >
> > Please find a proposal to shorten the graphics example a bit attached;
> > it would be nice to keep the same indentation; you may re-add the 
> > comments.
> >
> > I will keep thinking about other suggestions.
> >
> > Best wishes, --Joris
> To make sure:
>
> should we release the image with the standard Wikipedia license (I 
> forgot what it is) or something else?

For info: I put it on Wikipedia with the GFDL.