]> matita.cs.unibo.it Git - helm.git/commitdiff
"sec_" prefix for section IDs
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000)
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/sec_install.xml
helm/software/matita/help/C/sec_tactics.xml

index ab08a6f9c5354ac466f460a55d20119db965460e..45e993b0538b7455695db8113bf9eba14b5e949c 100644 (file)
 
  <!-- ============= Application License ============================= -->
 
- <sect1 id="license">
+ <sect1 id="sec_license">
   <title>License</title>
   &license;
  </sect1>
index 09bc9d7405198bd0c0e046f3df75712436715594..35d7ff900a6d3771b9b1b00825533493603710f6 100644 (file)
 
          <varlistentry>
            <term>&TODO;</term>
-           <listitem>&TODO;</listitem>
+           <listitem><para>&TODO;</para></listitem>
          </varlistentry>
 
        </variablelist>
index a423f37c419e08dd60bb1e14b3a7e21f326c3569..e658178ca339b02a4ca43d0022066e4105d211bd 100644 (file)
@@ -1,6 +1,6 @@
 
 <!-- ============ Tactics ====================== -->
-<sect1 id="tactics">
+<sect1 id="sec_tactics">
  <title>Tactics</title>
 
   <sect2 id="tac_absurd">
   </sect2>
 
 </sect1>
+