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


b054ccd29608e5950e119a6ea6e3047d73a35c1d
[helm.git] / record.dtd
1 <!ELEMENT record-list (record*)>
2 <!ELEMENT record (last-name?, first-name?, phone?)>
3 <!ELEMENT last-name (#PCDATA)>
4 <!ELEMENT first-name (#PCDATA)>
5 <!ELEMENT phone (#PCDATA)>
Unnamed repository; edit this file 'description' to name the repository.