<?xml version="1.0" encoding="UTF-8"?>
<!-- edited by Simon McLeish (s.mcleish@lse.ac.uk) -->
<!ELEMENT diagnosticList (diagnostic+)>
<!ELEMENT diagnostic (code,string)>
<!ELEMENT code (#PCDATA)>
<!ELEMENT string (#PCDATA)>