]> matita.cs.unibo.it Git - helm.git/blob - 029.ent
projects / helm.git / blob
? search:


6ba25e769011c3215f1a097dd95cc158b737bc8b
[helm.git] / 029.ent
1 <!ELEMENT doc (#PCDATA)>
2 <![IGNORE[<!ATTLIST doc a1 CDATA "v1">]]>
3 <!ATTLIST doc a1 CDATA "v2">
Unnamed repository; edit this file 'description' to name the repository.