> Would that be newer than 1.3.8, which is what I have, and what is > currently available from the US GtkAda web site? Might well be, I don't remember what we put in 1.3.8 ;-) In any case, 1.3.10 should appear really soon now. Arno