]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/others/publication.dtd
Modified Files:
[helm.git] / helm / mowgli / home / xml / publications / others / publication.dtd
index 5fff8ba8d63dbf2376ec9ad007aa2faf5b36c74b..7b131f501806c039b339e6c85c112cca624b6700 100644 (file)
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
 
-<!ELEMENT publication (title,author+,where)>
+<!ELEMENT publication (title,author*,where)>
 <!ELEMENT title (#PCDATA)>
 
 <!-- name,surname must be provided iff the "file" attribute is not provided -->