From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Jul 2006 15:22:21 +0000 (+0000)
Subject: fixed the number of columns in the clusters table
X-Git-Tag: 0.4.95@7852~1212
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fc62a8dcc2ed33b6f2f01eb03c488d32900ce5fb;p=helm.git

fixed the number of columns in the clusters table
---

diff --git a/matita/help/C/sec_commands.xml b/matita/help/C/sec_commands.xml
index 636eac8dc..1644c85bd 100644
--- a/matita/help/C/sec_commands.xml
+++ b/matita/help/C/sec_commands.xml
@@ -139,7 +139,7 @@
            </para>
            <table>
             <title>clusters</title>
-            <tgroup cols="5">
+            <tgroup cols="6">
             <thead>
              <row>
               <entry>name</entry>