file-writing:formatting

[Christoph Lehmann]

thanks a lot!

now, if one of the floats is e.g. 0.01 the others 1234.12 I get


0.01    2345.14
1234.12  2345.45

so what can I do, that i get

0000.01  2345.14
1234.12  2345.45

thanks

-- 
========================================
Christoph Lehmann
University of Berne
christoph.lehmann at puk.unibe.ch

--------------------------------------------------
This mail sent through IMP at http://mail.unibe.ch