On 3/1/10 8:05 PM, Jaime Villate wrote:
> On Mon, 2010-03-01 at 17:24 -0500, Raymond Toy wrote:
>
>> That's easy enough to do. Do you want xmaxima on it's own, or is it
>> ok to include all of interfaces?
>>
> all of the interfaces is ok, thanks.
> By the way, to convert it in mpeg all I had to do was:
> ffmpeg -i maxima.mov maxima.mpg
>
Look for maxima2.mpg at the same location as before.
Ray