[Gretl-devel] python foreign gretl_export()

Hi, I just checked that in March 2013 we discussed "python foreign problems", in particular the gretl_export function (in gretl_io.py). Back then we ditched Numpy's savetxt function for certain reasons. One minor remark is that the user guide in ch. 43 still talks about savetxt, but that's not important. Instead I'd suggest to go back to numpy's savetxt, because it offers gzip compression "for free", whenever a 'gz' extension is given. Does that sound like a good idea? I could send a concrete proposal for gretl_export -- but not for the imminent release. cheers, sven