TUGIndia mail list server was down yesterday [June 19, 2002] which is now fixed. I would request you to re-send any messages that you'd sent yesterday once again, since all those posts would have been bounced and the subscribers haven't received. Apologies for the inconveniences. -- Radhakrishnan List Admin