]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/negative/data_invalid/032.xml
projects / helm.git / blob
? search:


f4e2d4d17eb4454a8d5d0efc340659f62482c973
[helm.git] / helm / DEVEL / pxp / pxp / rtests / negative / data_invalid / 032.xml
1 <?xml version="1.0"?>
2 <!DOCTYPE el [
3 <!NOTATION gif PUBLIC "image/gif">
4 <!ELEMENT el EMPTY>
5 <!ATTLIST el n NOTATION (gif) "jpeg">
6 ]>
7 <el/>
Unnamed repository; edit this file 'description' to name the repository.