From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 26 May 2006 15:58:47 +0000 (+0000)
Subject: CALS tables enriched to make (crappy) docbook stylesheets happy.
X-Git-Tag: make_still_working~7316
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=24b8b9f80e0754f40a4a7cc773b49cc0401831ae;hp=26778a467329055d706f9b8d9d6869f17186e453;p=helm.git

CALS tables enriched to make (crappy) docbook stylesheets happy.
---

diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index dd2af7f5f..5e29eb41e 100644
--- a/helm/software/matita/help/C/sec_terms.xml
+++ b/helm/software/matita/help/C/sec_terms.xml
@@ -20,7 +20,7 @@
   <sect2 id="lexical">
   <title>Lexical conventions</title>
   <table>
-    <tgroup>
+    <tgroup cols="4">
      <thead />
     <tbody>
      <row>
@@ -32,7 +32,7 @@
    </tgroup>
   </table>
   <table>
-    <tgroup>
+    <tgroup cols="4">
      <thead />
     <tbody>
      <row>
@@ -44,7 +44,7 @@
    </tgroup>
   </table>
   <table>
-    <tgroup>
+    <tgroup cols="4">
      <thead />
     <tbody>
      <row>
@@ -59,7 +59,7 @@
   <sect2 id="terms">
   <title>Terms</title>
   <table>
-    <tgroup>
+    <tgroup cols="4">
      <thead />
     <tbody>
      <row>
@@ -145,7 +145,7 @@
   </table>
 
   <table>
-    <tgroup>
+    <tgroup cols="4">
      <thead />
     <tbody>
      <row>
@@ -242,7 +242,7 @@
   </table>
 
   <table>
-    <tgroup>
+    <tgroup cols="4">
      <thead />
     <tbody>
      <row>
@@ -278,7 +278,7 @@
   </table>
 
   <table>
-    <tgroup>
+    <tgroup cols="4">
      <thead />
     <tbody>
      <row>