From 57b2b50f5b24fd95f4904b5c44b85a678e51b9c7 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 11 Jul 2003 16:56:30 +0000
Subject: [PATCH] Change to the DTD: Params is now a list of param with an
 m:math inside.

---
 helm/dtd/cicobject.dtd | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/helm/dtd/cicobject.dtd b/helm/dtd/cicobject.dtd
index b534e373c..10f001df6 100644
--- a/helm/dtd/cicobject.dtd
+++ b/helm/dtd/cicobject.dtd
@@ -90,11 +90,9 @@
 <!ATTLIST Param
           name CDATA #REQUIRED>
 
-<!ELEMENT Params (Param)*>
+<!ELEMENT Params (param)*>
 
-<!ELEMENT Param (CDATA)*>
-<!ATTLIST Param
-          definitionURL CDATA #REQUIRED>
+<!ELEMENT param %term;>
 
 <!ELEMENT Decl %term;>
 <!ATTLIST Decl
-- 
2.39.2