+ A new windows will pop-up: choose the file you downloaded
+ (usually matita-version.iso) and click open.
+ </para>
+ <figure><title>Choosing the ISO image</title>
+ <mediaobject>
+ <imageobject>
+ <imagedata fileref="figures/vbox35.png" format="PNG" srccredit="Enrico Tassi"/>
+ </imageobject>
+ <textobject><phrase>Choosing the ISO image</phrase></textobject>
+ </mediaobject>
+ </figure>
+ <para>
+ Now select the new entry you just added as the CD image
+ you want to insert in the virtual CD drive.
+ You are now ready to start the virtual machine.