Guy is right. The concept is to select everything in the timeline and then choose export. There are 2 ways to do this: you either select the sequence itself with the mouse (from the upper left browser) and then click export, or you can select the timeline window and then click command-a (select all); then you select export.

It is pretty easy.