On Oct 3, Bernd Ernesti wrote > There is no need to do that. Klaus is working on that and commit it if he > thinks it is ready for the commit. Great ! One thing I don't need to put on my TODO list :) -- Manuel Bouyer, LIP6, Universite Paris VI. email: bouyer@rp.lip6.fr bouyer@ensta.fr --