added notes about sqlite and removed obsolete zack repository

[helm.git] / matita / help / C / matita.xml

diff --git a/matita/help/C/matita.xml b/matita/help/C/matita.xml
index e20e17ad8db99f8527b184ff0a3254d0649519b0..30d37b3ba45e2fabdae3b4f2f7b76cc53a574abd 100644 (file)
--- a/matita/help/C/matita.xml
+++ b/matita/help/C/matita.xml
@@ -26,6 +26,8 @@
   <!ENTITY TODO "<emphasis>TODO</emphasis>">
   <!ENTITY MYSQL "<application> <ulink type='http'
       url='http://www.mysql.com'>MySQL</ulink> </application>">
+  <!ENTITY Sqlite "<application> <ulink type='http'
+      url='http://www.sqlite.org'>Sqlite</ulink> </application>">
 
   <!-- Entities for BNF -->
   <!ENTITY id "<emphasis><link linkend='grammar.id'>id</link></emphasis>">