The CreateJS Toolkit allows you to publish to HTML5.
To install the toolkit:
choose the link on the right side of the page and download the toolkit
Once you save the file - double click to open Adobe Extension Manager and install the toolkit
After you have installed the toolkit, open Flash and activate the toolkit window either by choosing Window --> Toolkit_CreateJS_for_Flash or hit <Shift> + F9