On Mon, Nov 14, 2011 at 2:24 AM, Petr Tomasek <toma...@etf.cuni.cz> wrote:
> Using different color. > Do we really want to tie XeTeX users to a small number of editors? Chris Travers -------------------------------------------------- Subscriptions, Archive, and List information, etc.: http://tug.org/mailman/listinfo/xetex