I exported it as an AVI using the AVI plugin (which uses some really funky codec... if anyone uses it, one tip is to make sure your image size is divisible by 2 in both directions).
virtualdub would read it, so I piped it through avisynth, then used virtual dub to convert it to a divx.
In you are interested, the result is here:
there is a even better way to save a animation:
simply export all layers as PNGs (GAP may do it,as several scripts)
Then are a lot of free SW (one for Win is SUPER) that may convert that in AVI or in other Video format,with no more effort then a couple of clicks
thank for the test, yes if what i was looking for, i will do a bit slower and maybe with some loops
That really rocks, RobA! Your skills are just amazing.