]> matita.cs.unibo.it Git - helm.git/blob - 032.xml
projects / helm.git / blob
? search:


f4e2d4d17eb4454a8d5d0efc340659f62482c973
[helm.git] / 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.