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