From f2eb016be8f3d2daf67665e20d73f12b40bef5a1 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 26 May 2006 15:58:47 +0000
Subject: [PATCH] CALS tables enriched to make (crappy) docbook stylesheets
 happy.

---
 matita/help/C/sec_terms.xml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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>
-- 
2.39.2