Hello, I've tried to unsubscribe from this list some time ago, but to no avail. How should that be done? Thanks for your help! Regards, -- Dr Jacques MENU DIT Exploitation (PL-DIT-IT-EX) Bureau : MA B0 509 (http://plan.epfl.ch/?room=MAB0509) Ecole Polytechnique Fédérale de Lausanne (EPFL) CP 121, CH-1015 Lausanne 15 Tél : ++ 41 21 693 45 87 Fax : ++ 41 21 693 22 20 http://janus.epfl.ch http://mizar.epfl.ch