Theodore Papadopoulo <Theodore.Papadopoulo@sophia.inria.fr> writes: | > I'd seriously prefer include/tr. | | Why not even include/tr1. Even, better :-) I buy it! -- Gaby