Answer:
You can save the animations as an AVI file by selecting Tools → Create Video File in the menu. The menu bars, navigator bars, and tables are not taken into account.
You can select different types of video files. You can also control the quality and number of frames per second. Please keep in mind: The smaller the time intervals, the larger the file will be, but the smoother the video will run.