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: make_still_working~7078
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c766ed6f754196fe55254d09189f1255054b95f1;p=helm.git

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

diff --git a/helm/software/matita/help/C/sec_commands.xml b/helm/software/matita/help/C/sec_commands.xml
index 636eac8dc..1644c85bd 100644
--- a/helm/software/matita/help/C/sec_commands.xml
+++ b/helm/software/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>