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
--