added a couple of points

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

diff --git a/matita/help/C/sec_terms.xml b/matita/help/C/sec_terms.xml
index 70da9440498d2ca8c5ba5e031b22203972c20814..5fafcd0ac5b3b90af1ba2b43a965ea6c0b4d7004 100644 (file)
--- a/matita/help/C/sec_terms.xml
+++ b/matita/help/C/sec_terms.xml
@@ -16,6 +16,7 @@
 
   <sect1 id="declarations">
     <title>Declarations (of inductive types)</title>
+    <titleabbrev>Declarations</titleabbrev>
     <para> &TODO; </para>
   </sect1>