diff options
Diffstat (limited to 'result')
-rw-r--r-- | result/valid/737840.xml | 10 | ||||
-rw-r--r-- | result/valid/737840.xml.err | 0 | ||||
-rw-r--r-- | result/valid/737840.xml.err.rdr | 0 |
3 files changed, 10 insertions, 0 deletions
diff --git a/result/valid/737840.xml b/result/valid/737840.xml new file mode 100644 index 00000000..433c6d6d --- /dev/null +++ b/result/valid/737840.xml @@ -0,0 +1,10 @@ +<?xml version="1.0"?> +<!DOCTYPE root [ +<!ELEMENT root (elem)> +<!ELEMENT elem (#PCDATA)> +<!ATTLIST elem id ID #IMPLIED> +<!ENTITY target SYSTEM "dtds/737840.ent"> +]> +<root> + ⌖ +</root> diff --git a/result/valid/737840.xml.err b/result/valid/737840.xml.err new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/result/valid/737840.xml.err diff --git a/result/valid/737840.xml.err.rdr b/result/valid/737840.xml.err.rdr new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/result/valid/737840.xml.err.rdr |