]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/negative/data_invalid/061.xml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / negative / data_invalid / 061.xml
1 <?xml version="1.0" standalone="yes"?>
2
3 <!DOCTYPE any [
4 <!ELEMENT any ANY>
5 <!ELEMENT el EMPTY>
6 <!ATTLIST el v1 CDATA "abc">
7 <!ENTITY % declare_v2 '<!ATTLIST el v2 CDATA "def">'>
8 %declare_v2;
9 <!ENTITY % declare_declare_v3 SYSTEM "061.ent">
10 %declare_declare_v3;
11 %declare_v3;
12 ]>
13
14 <any>
15   <any><el v1="ABC" v2="DEF" v3="GHI"/></any>
16   <any><el v2="DEF" v3="GHI"/></any>
17   <any><el v3="GHI"/></any>
18   <any><el/></any>
19 </any>
20