From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 31 Oct 2007 15:46:37 +0000 (+0000)
Subject: New image from Tassi's PhD thesis.
X-Git-Tag: 0.4.95@7852~72
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=29930bb717c0fda79b50b693c3e1f1bcd151ca42

New image from Tassi's PhD thesis.
---

diff --git a/matita/help/C/figures/database.dia b/matita/help/C/figures/database.dia
new file mode 100644
index 000000000..652ea01eb
Binary files /dev/null and b/matita/help/C/figures/database.dia differ
diff --git a/matita/help/C/figures/database.png b/matita/help/C/figures/database.png
new file mode 100644
index 000000000..7e9b1ca78
Binary files /dev/null and b/matita/help/C/figures/database.png differ
diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
index 44e46b7fc..a7490503a 100644
--- a/matita/help/C/sec_install.xml
+++ b/matita/help/C/sec_install.xml
@@ -371,6 +371,14 @@
     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>