X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_terms.xml;h=5fafcd0ac5b3b90af1ba2b43a965ea6c0b4d7004;hb=fbdefb124a045b0133211d65814d33de9926ed54;hp=70da9440498d2ca8c5ba5e031b22203972c20814;hpb=6073f0bd6760d393f229d1b61a91bf9b64af2f09;p=helm.git

diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index 70da94404..5fafcd0ac 100644
--- a/helm/software/matita/help/C/sec_terms.xml
+++ b/helm/software/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>