]> matita.cs.unibo.it Git - helm.git/commitdiff
Params is now a list of Param.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jul 2003 15:15:22 +0000 (15:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jul 2003 15:15:22 +0000 (15:15 +0000)
helm/dtd/cicobject.dtd

index d78251c1d99b25c2dc1ef7745aa6ee66a3cd783f..b534e373cb902f065634c195e272b4520a9b7aa6 100644 (file)
 <!ATTLIST Param
           name CDATA #REQUIRED>
 
-<!ELEMENT Params (#PCDATA)*>
+<!ELEMENT Params (Param)*>
+
+<!ELEMENT Param (CDATA)*>
+<!ATTLIST Param
+          definitionURL CDATA #REQUIRED>
 
 <!ELEMENT Decl %term;>
 <!ATTLIST Decl