]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/others/publication.dtd
Initial commit of the XML/XSLT stuff.
[helm.git] / helm / mowgli / home / xml / publications / others / publication.dtd
diff --git a/helm/mowgli/home/xml/publications/others/publication.dtd b/helm/mowgli/home/xml/publications/others/publication.dtd
new file mode 100644 (file)
index 0000000..5fff8ba
--- /dev/null
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!ELEMENT publication (title,author+,where)>
+<!ELEMENT title (#PCDATA)>
+
+<!-- name,surname must be provided iff the "file" attribute is not provided -->
+<!ELEMENT author (name,surname)?>
+<!ATTLIST author
+          file CDATA #IMPLIED>
+
+<!ELEMENT where (#PCDATA)>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT surname (#PCDATA)>