]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed the number of columns in the clusters table
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jul 2006 15:22:21 +0000 (15:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jul 2006 15:22:21 +0000 (15:22 +0000)
helm/software/matita/help/C/sec_commands.xml

index 636eac8dc236a66cb744ca5fa8d59e2c5c86ed50..1644c85bd88493728d926261f9b32211cb123a2c 100644 (file)
            </para>
            <table>
             <title>clusters</title>
-            <tgroup cols="5">
+            <tgroup cols="6">
             <thead>
              <row>
               <entry>name</entry>