X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_usernotation.xml;h=2972f8cb6455421cfca4c653e5926e30ce484245;hb=6709920fe5d6be86d32e9ff2cc0186757660c608;hp=e141bd85997a9a82ea23adf6395b2c9ab0867587;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/help/C/sec_usernotation.xml b/matita/matita/help/C/sec_usernotation.xml
index e141bd859..2972f8cb6 100644
--- a/matita/matita/help/C/sec_usernotation.xml
+++ b/matita/matita/help/C/sec_usernotation.xml
@@ -2,7 +2,7 @@
 <!-- ============ User Notation ====================== -->
 <chapter id="sec_usernotation">
  <title>Extending the syntax</title>
-  Introduction: &TODO;
+<!--  Introduction: &TODO; -->
  <sect1>
   <title>notation</title>
   <titleabbrev>notation</titleabbrev>