No, this pre-dates the VAX. Immediately preceding generation, in fact. ** Phil. -------- Ross Moore wrote:
These hints suggest DEC to me, with mini-vaxen. But wasn't this a US company?
-------------------------------------------------- Subscriptions, Archive, and List information, etc.: http://tug.org/mailman/listinfo/xetex
