mailing-list for TeXmacs Users

[Álvaro Tejero Cantero <address@hidden>]

Hello,

  I just isolated a very annoying typesetter bug which kept screwing up a
  document I am working on. Now, I would have posted it to the TeXmacs
  Resources WikiWeb, but the antalia server seems to be down at the moment (I
  get a 502, Proxy Error).

The server in which alqua.com is hosted (belonging to the spanish Slashdot, 
called "Barrapunto" --http://barrapunto.com--) has a disk-space problem. I am 
getting into contact with the site administrators... fingers crossed. 
Apologies for the downtime!.

-- 
álvaro.tejero.cantero
alqua.com, la red en estudio