On Fri, 14 Mar 2008 14:09:56 +0100 François Patte <francois.patte@xxxxxxxxxxxxxxxxxxxxxxxx> wrote: > And tetex is dead: nobody has accepted to maintain it. I always wonder what the difference is between "dead" and "already works fine and doesn't need to be changed" :-).
