From 24b8b9f80e0754f40a4a7cc773b49cc0401831ae Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 26 May 2006 15:58:47 +0000 Subject: [PATCH] CALS tables enriched to make (crappy) docbook stylesheets happy. --- helm/software/matita/help/C/sec_terms.xml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) 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 @@ Lexical conventions - + @@ -32,7 +32,7 @@
- + @@ -44,7 +44,7 @@
- + @@ -59,7 +59,7 @@ Terms
- + @@ -145,7 +145,7 @@
- + @@ -242,7 +242,7 @@
- + @@ -278,7 +278,7 @@
- + -- 2.39.2