eclipse.tex: complete translation