camtasia studio录制的文件怎么转换成MP4的格式啊？

camtasia studio录制的文件怎么转换成MP4的格式啊？

Camtasia Studio 7图文教程
 
网上很难找到Camtasia Studio 7的教程，在这里简单介绍一下这个软件怎么用。
第一，启动主程序，点击“Record the screen”，如图所示。
 
第二，默认选择Full screen（全屏幕录制），也可以选择Custom，自定义录制的区域；点击Audio on上面的倒三角符号可以选择是否录制系统声音，用滑块调节麦克风输入的音量。
 
第三，点击上图的“rec”按钮或者按快捷键F9开始录制，完成后按F10停止录制，弹出预览窗口，然后点击“Save and Edit”保存工程文件。
 
第四，保存好以后回到主程序，同时会弹出一个设置视频分辨率的窗口，录制的时候屏幕的分辨率是1024×768，所以我这里选择“1024×768 recording Dimesions”。
 
第五，可以不对视频进行编辑而直接压缩，点击“Produce and share”，如图所示。这里省略压缩过程。
 
有网友反映用Camtasia Studio录制的视频体积很大，经我反复试验，高清的avi格式视频确实有点大，压缩成WMV格式可以大大减少视频的体积，而且质量损失是最少的。