]> matita.cs.unibo.it Git - helm.git/commitdiff
New image from Tassi's PhD thesis.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Oct 2007 15:46:37 +0000 (15:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Oct 2007 15:46:37 +0000 (15:46 +0000)
helm/software/matita/help/C/figures/database.dia [new file with mode: 0644]
helm/software/matita/help/C/figures/database.png [new file with mode: 0644]
helm/software/matita/help/C/sec_install.xml

diff --git a/helm/software/matita/help/C/figures/database.dia b/helm/software/matita/help/C/figures/database.dia
new file mode 100644 (file)
index 0000000..652ea01
Binary files /dev/null and b/helm/software/matita/help/C/figures/database.dia differ
diff --git a/helm/software/matita/help/C/figures/database.png b/helm/software/matita/help/C/figures/database.png
new file mode 100644 (file)
index 0000000..7e9b1ca
Binary files /dev/null and b/helm/software/matita/help/C/figures/database.png differ
index 44e46b7fcfb93f0ffa9dd70378df533606464bac..a7490503a785aae18a9c426e89f5bc774c02613d 100644 (file)
     The file <emphasis>matita.conf.xml</emphasis>...
     &TODO;
     </para>
+   <figure><title>Configuring the Databases</title>
+     <mediaobject>
+       <imageobject>
+         <imagedata fileref="figures/database.png" format="PNG" srccredit="Enrico Tassi"/>
+       </imageobject>
+       <textobject><phrase>How to configure the databases.</phrase></textobject>
+     </mediaobject>
+   </figure>
   </sect1>
 
 </chapter>