[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] Remote server
From: |
Joris van der Hoeven |
Subject: |
[Texmacs-dev] Remote server |
Date: |
Mon, 19 Jun 2006 13:20:49 +0200 |
User-agent: |
Mutt/1.5.9i |
Hi all,
I made a security fix in the new distribution, which necessitates
the creation of a new account on the TeXmacs server (for those who
did so). Sorry for the inconvenience. I also added a little sound
for notifying that someone sent a new message after a long absence.
Best wishes, Joris
- [Texmacs-dev] Remote server,
Joris van der Hoeven <=