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: 0.4.95@7852~1419
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f2eb016be8f3d2daf67665e20d73f12b40bef5a1;p=helm.git

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

diff --git a/matita/help/C/sec_terms.xml b/matita/help/C/sec_terms.xml
index dd2af7f5f..5e29eb41e 100644
--- a/matita/help/C/sec_terms.xml
+++ b/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>