mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Hi Julien,

On Wed, Feb 19, 2014 at 03:07:27PM +0100, Julien Frontisi wrote:
> it seems that TeXmacs can no longer access remote files through the web 
> like it used to.
> Or is there something that needs to be activated ?

I just checked, but things work fine for me.
Could you please be a bit more specific on what goes wrong?

Best wishes, --Joris