From: Enrico Tassi Date: Sun, 7 Dec 2008 18:05:18 +0000 (+0000) Subject: better images X-Git-Tag: make_still_working~4440 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c17bf9267f424442bdde6b6b131711f160232555;p=helm.git better images --- diff --git a/helm/software/matita/help/C/figures/vbox1.png b/helm/software/matita/help/C/figures/vbox1.png index f35e3ae48..f7c85fe07 100644 Binary files a/helm/software/matita/help/C/figures/vbox1.png and b/helm/software/matita/help/C/figures/vbox1.png differ diff --git a/helm/software/matita/help/C/figures/vbox2.png b/helm/software/matita/help/C/figures/vbox2.png index 0f34a9501..8d2182f5c 100644 Binary files a/helm/software/matita/help/C/figures/vbox2.png and b/helm/software/matita/help/C/figures/vbox2.png differ diff --git a/helm/software/matita/help/C/figures/vbox3.5.png b/helm/software/matita/help/C/figures/vbox3.5.png new file mode 100644 index 000000000..313bd1ca8 Binary files /dev/null and b/helm/software/matita/help/C/figures/vbox3.5.png differ diff --git a/helm/software/matita/help/C/figures/vbox3.png b/helm/software/matita/help/C/figures/vbox3.png index f28ac363d..48f6309bb 100644 Binary files a/helm/software/matita/help/C/figures/vbox3.png and b/helm/software/matita/help/C/figures/vbox3.png differ diff --git a/helm/software/matita/help/C/figures/vbox4.png b/helm/software/matita/help/C/figures/vbox4.png index 5c85c7dd5..432f3ffba 100644 Binary files a/helm/software/matita/help/C/figures/vbox4.png and b/helm/software/matita/help/C/figures/vbox4.png differ diff --git a/helm/software/matita/help/C/figures/vbox5.png b/helm/software/matita/help/C/figures/vbox5.png index 6289d9c2f..465e5454d 100644 Binary files a/helm/software/matita/help/C/figures/vbox5.png and b/helm/software/matita/help/C/figures/vbox5.png differ diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml index 9f520d72d..fbd457fb3 100644 --- a/helm/software/matita/help/C/sec_install.xml +++ b/helm/software/matita/help/C/sec_install.xml @@ -76,8 +76,7 @@ In the newely opened window click - the Add button, choose the file you downloaded - (usually matita-version.iso) and select that entry. + the Add button
Choosing the ISO image @@ -88,8 +87,21 @@
- You are now ready - to start the virtual machine. + A new windows will pop-up: choose the file you downloaded + (usually matita-version.iso) and click open. + +
Choosing the ISO image + + + + + Choosing the ISO image + +
+ + 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.