]> matita.cs.unibo.it Git - helm.git/blob - ds-object.dtd
projects / helm.git / blob
? search:


750300cd58d5ab3564d523ddd0383f91ab86362c
[helm.git] / ds-object.dtd
1 <?xml encoding="ISO-8859-1"?>
2 <!-- $Id$ -->
3
4 <!ELEMENT record (string)*>
5
6 <!ELEMENT string (#PCDATA)>
7 <!ATTLIST string
8           name ID #REQUIRED>
Unnamed repository; edit this file 'description' to name the repository.