From 9b90a30c1a2c3e156dd7f46dab4f5e6860ae91da Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 11 Jul 2003 15:15:22 +0000
Subject: [PATCH] Params is now a list of Param.

---
 helm/dtd/cicobject.dtd | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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