You can export an animation in two different formats: VRML and AVI.
Menu: Animation / Export / VRML Menu: Animation / Export / AVI
When aaving AVI files, you may choose whether to save the animation as wireframe, hidden line, or shaded. There are also three shading options available: Quick Shading, Gourad, or Phong.
When saving a shaded animation, you may also choose what sort of non-shadable entities are visible -- lines, arrows, text, and dimensions.