Export to HTML5 from Flash Professional
blogs.adobe.com
blogs.adobe.com
I've also been making an HTML5 animation design app called Radi [1]. Compared to CSS3-based animation tools like Hype or Edge, Radi is more similar to the Flash Pro environment because it has vector drawing tools and supports more forms of animation (e.g. shape keyframes). Radi also does video.
I am not sure what he means by this.
Flash CS5 uses the new XFL file format, which are essentially zip files. The DOM document is then just parsed through and converted into their counter parts.